E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Formal Methods in Computer-Aided Design	Warren A. Hunt Jr.Steven D. Johnson	Springer	_	2000
Formal Methods in Computer-Aided Design	Alan J. HuAndrew K. Martin	Springer	_	2004
Formal Methods in Computer-Aided Design	Mandayam SrivasAlbert Camilleri	Springer	_	1996
Formal Methods in Programming and Their Applications	Dines Bj�rnerManfred BroyIgor V. Pottosin	Springer	_	1993
Formal Methods in Software and Systems Modeling	Hans-J�rg KreowskiUgo MontanariFernando OrejasGrzegorz RozenbergGabriele Taentzer	Springer	_	2005
Formal Methods in Systems Biology	Jasmin Fisher	Springer	_	2008
Formal Methods, Foundations and Applications	Adenilso SimaoCarroll Morgan	Springer	_	2011
Formal Methods: Applications and Technology	Lubo� BrimBoudewijn HaverkortMartin LeuckerJaco van de Pol	Springer	_	2007
Formal Methods: Foundations and Applications	Rohit GheyiDavid Naumann	Springer	_	2012
Formal Methods: Foundations and Applications	Jim DaviesLeila SilvaAdenilso Simao	Springer	_	2011
Formal Methods: Foundations and Applications	Marcel Vin�cius Medeiros OliveiraJim Woodcock	Springer	_	2009
Formal Modeling and Analysis of Timed Systems	Franck CassezClaude Jard	Springer	_	2008
Formal Modeling and Analysis of Timed Systems	Kim Guldstrand LarsenPeter Niebert	Springer	_	2004
Formal Modeling and Analysis of Timed Systems	Paul PetterssonWang Yi	Springer	_	2005
Formal Modeling and Analysis of Timed Systems	Jean-Fran�ois RaskinP. S. Thiagarajan	Springer	_	2007
Formal Modeling and Analysis of Timed Systems	Eugene AsarinPatricia Bouyer	Springer	_	2006
Formal Modeling and Analysis of Timed Systems	Jo�l OuaknineFrits W. Vaandrager	Springer	_	2009
Formal Modeling and Analysis of Timed Systems	Uli FahrenbergStavros Tripakis	Springer	_	2011
Formal Modeling and Analysis of Timed Systems	Marcin Jurdzi?skiDejan Ni?kovi?	Springer	_	2012
Formal Modeling and Analysis of Timed Systems	Krishnendu ChatterjeeThomas A. Henzinger	Springer	_	2010
Formal Modeling: Actors, Open Systems, Biological Systems	Gul AghaOlivier DanvyJos� Meseguer	Springer	_	2011
Formal Models of Agents	John-Jules Ch. MeyerPierre-Yves Schobbens	Springer	_	1999
Formal Program Development	Bernhard M�llerHelmut PartschSteve Schuman	Springer	_	1993
Formal Properties of Finite Automata and Applications	J. E. Pin	Springer	_	1989
Formal Specification and Design	Feijs/Jonkers	CUP	9780511569777	1992