Open Library beta
Log in
Search Results
    More search options

There are 49 matching records. Show: List / Covers

full text
Not available   49
authors
Jonathan Jacky   2
Alberto L. Sangiovanni-Vincentelli   1
Antoni Diller   1
Chaochen Zhou   1
Claude Girault   1
David Harel   1
subjects
Formal methods (Computer scien   [x]
Formal methods (Computer science)   46
Computers   42
Programming - Software Development   33
Computer Science   32
Computers - Languages / Programming   26
publication date
2000–now   32
1980-1999   16
1960-1979   1
languages
English   49
publishers
Springer   38
Cambridge University Press   2
Walter De Gruyter Inc   2
Ablex Publishing Corporation   1
Mouton De Gruyter   1
SPRINGER-VERLAG   1
Computers in Language Research Two
Walter De Gruyter Inc, June 1983 Hardcover
Computers in Language Research Formal Methods: Formal Methods (Trends in Linguistics : Studies and Monographs, V. 5)
Walter De Gruyter Inc, December 1979 Paperback
Z by Antoni Diller
Wiley, June 16, 1994 Paperback
Domain Modeling-Based Software Engineering by Lu, Ruqian, Jin, Zhi
Springer, August 31, 2000 Hardcover
Theory and Formal Methods of Computing 94 by England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate
World Scientific Pub Co Inc, September 1995 Hardcover
Software Specification by James M. Purtilo, John D. Gannon, Marvin V. Zelkowitz
Ablex Publishing Corporation, September 1993 Paperback
Software Specification Methods
Springer, November 27, 2000 Paperback
Computers in Language Research Two by Walter A. Sedelow
Mouton De Gruyter, February 1984 Hardcover
The Way of Z by Jonathan Jacky
Cambridge University Press, November 28, 1996 Hardcover
The Way of Z by Jonathan Jacky
Cambridge University Press, November 28, 1996 Paperback
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
Springer, October 18, 1999 Paperback
Formal Specification by Nismal Nissanke, Nimal Nissanke
Springer-Verlag Telos, August 1999 Paperback
Constructing Correct Software (Formal Approaches to Computing and Information Technology) by John Cooke
Springer, October 25, 2004 Paperback
Formal Methods and Software Engineering
Springer, December 5, 2002 Paperback
Duration Calculus by Chaochen Zhou, Michael R. Hansen
Springer, February 12, 2004 Hardcover
Algebraic Foundations of Systems Specification (Ifip State-of-the-Art Reports)
Springer, November 1999 Hardcover
Formal Methods for Components and Objects
Springer, December 5, 2003 Paperback
Lectures on Formal Methods and Performance Analysis
Springer, October 2, 2001 Paperback
Dynamic Logic (Foundations of Computing) by Dexter Kozen, Jerzy Tiuryn, David Harel
The MIT Press, October 2, 2000 Hardcover
Formal Aspects of Security
Springer, February 12, 2004 Paperback


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