Search results (Open Library)

Search Results

There are 111 matching records. Show: List / Covers

	Formal methods in computing Akadémiai Kiadó, 2005
	Formal methods in human-computer interaction Springer, 1998
	Formal hardware verification Springer, 1997
	Formal methods for real-time computing John Wiley, 1996
	The way of Z by Jonathan Jacky Cambridge University Press, 1997
	Formal methods fact file by Andrew Harry Wiley, 1996
	Formal methods and object technology Springer, 1996
	Z by Antoni Diller Wiley & Sons, 1994
	A programming approach to formal methods by Chris Casey McGraw-Hill Book Co., 1994
	Logic programming Elsevier, 1995
	Applications of formal methods Prentice Hall, 1995
	Formal methods in programming and their applications Springer-Verlag, 1993
	Formal methods in systems engineering Springer Verlag, 1993
	Practical formal methods with VDM by Derek Andrews McGraw-Hill, 1991
	Software prototyping, formal methods, and VDM by Sharam Hekmatpour Addison-Wesley, 1988
	Formal methods in human-computer interaction Cambridge University Press, 1990
	Formal methods in software and systems modeling Springer, 2005
	Formal methods of program verification and specification Prentice-Hall, 1982
	Formal models of agents Springer, 1999
	Modeling and verification of real-time systems ISTE/John Wiley, 2008

More results: 1 2 3 4 5 6 NEXT >

Can't find the book you are searching for? Add a new book.

Search = 0.22 sec; Presentation = 0.00 sec