FlazX | Categories | Forum | Links | Blog | Login

Search result for formal spesification

Books (1-25 of 14 total)

Semantics with Applications: A Formal Introduction
Formal Software Development
Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
Formal Models of Operating System Kernels
Recent Advances in Formal Languages and Applications (Studies in Computational Intelligence)
Design Pattern Formalization Techniques
Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006), Volume 150 Frontiers in Artificial Intelligence and Applications
Formal Correctness of Security Protocols (Information Security and Cryptography)
Formal Refinement for Operating System Kernels
CAFE: An Industrial-Strength Algebraic Formal Method
Constructing Correct Software (Formal Approaches to Computing and Information Technology)
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)
Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science)
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)

Refine your search result by read our Search Guidance

Top 100 Search Keywords
Last 100 Search Keywords

Nokia Themes
Free Download
Daily Internet Guide
EgyDown
Share4All
FreeBookCity.Com
Providings.com
DownArchive
Allulook4.com
eu-warez.net