Open Library beta
Log in
Search Results
    More search options

There are 172 matching records. Show: List / Covers

full text
Not available   172
authors
Radhia Cousot   2
Alberto Pettorossi   1
Andrew D. Gordon   1
Antti Valmari   1
Ben Liblit   1
Freek Wiedijk   1
subjects
formal methods   [x]
Computers   166
Programming - Software Development   116
Computer Books: General   98
Congresses   83
Logic Design   82
publication date
2000–now   161
1980-1999   7
pre-1920   4
languages
English   172
publishers
Springer   172
Compositionality: The Significant Difference
Springer, December 28, 1998 Paperback
Formal Methods for the Design of Real-Time Systems
Springer, October 15, 2004 Paperback
Validation of Stochastic Systems
Springer, October 5, 2004 Hardcover
Abstract State Machines 2003. Advances in Theory and Practice
Springer, April 10, 2003 Paperback
Computer Aided Systems Theory EUROCAST 2005
Springer, November 14, 2005 Paperback
Algebra and Coalgebra in Computer Science
Springer, September 21, 2005 Paperback
Formal Methods for Mobile Computing
Springer, December 31, 1899 Paperback
Quality of Software Architectures and Software Quality
Springer, October 19, 2005 Paperback
Implementation and Application of Automata
Springer, September 25, 2006 Paperback
Automata, Languages and Programming
Springer, August 22, 2005 Paperback
Automata, Languages and Programming
Springer, July 28, 2006 Paperback
Typed Lambda Calculi and Applications by Pawel Urzyczyn
Springer, December 31, 1899 Paperback
Computational Methods in Systems Biology
Springer, September 12, 2005 Paperback
Principles and Practice of Semantic Web Reasoning
Springer, October 9, 2006 Paperback
Automata, Languages and Programming
Springer, July 28, 2006 Paperback
Global Computing
Springer, April 6, 2005 Hardcover
Agent-Oriented Software Engineering V
Springer, March 14, 2005 Paperback
SOFSEM 2006: Theory and Practice of Computer Science
Springer, February 23, 2006 Paperback
Mechanizing Mathematical Reasoning
Springer, April 6, 2005 Paperback
Formal Methods and Software Engineering
Springer, December 14, 2005 Paperback


More results:  1  2  3  4  5  6  7  ... 9 NEXT >
Can't find the book you are searching for? Add a new book.
Search = 0.20 sec; Presentation = 0.00 sec