E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Formal Syntax and Semantics of Java	Jim Alves-Foss	Springer	_	1999
Formal Systems Specification	Manfred BroyStephan MerzKatharina Spies	Springer	_	1996
Formal Techniques for Computer Systems and Business Processes	Mario BravettiLe�la KloulGianluigi Zavattaro	Springer	_	2005
Formal Techniques for Distributed Systems	Holger GieseGrigore Rosu	Springer	_	2012
Formal Techniques for Distributed Systems	David LeeAnt�nia LopesArnd Poetzsch-Heffter	Springer	_	2009
Formal Techniques for Distributed Systems	John HatcliffElena Zucca	Springer	_	2010
Formal Techniques for Distributed Systems	Roberto BruniJuergen Dingel	Springer	_	2011
Formal Techniques for Networked and Distributed Systems - FORTE 2003	Hartmut K�nigMonika HeinerAdam Wolisz	Springer	_	2003
Formal Techniques for Networked and Distributed Systems - FORTE 2005	Farn Wang	Springer	_	2005
Formal Techniques for Networked and Distributed Systems - FORTE 2006	Elie NajmJean-Fran�ois Pradat-PeyreV�ronique Vigui� Donzeau-Gouge	Springer	_	2006
Formal Techniques for Networked and Distributed Systems � FORTE 2004	David de Frutos-EscrigManuel N��ez	Springer	_	2004
Formal Techniques for Networked and Distributed Systems � FORTE 2007	John DerrickJ�ri Vain	Springer	_	2007
Formal Techniques for Networked and Distributed Systems � FORTE 2008	Kenji SuzukiTeruo HigashinoKeiichi YasumotoKhaled El-Fakih	Springer	_	2008
Formal Techniques for Networked and Distributed Sytems � FORTE 2002	Doron A. PeledMoshe Y. Vardi	Springer	_	2002
Formal Techniques in Real-Time and Fault-Tolerant Systems	Anders P. RavnHans Rischel	Springer	_	1998
Formal Techniques in Real-Time and Fault-Tolerant Systems	M. Joseph	Springer	9783540459651	1988
Formal Techniques in Real-Time and Fault-Tolerant Systems	Bengt JonssonJoachim Parrow	Springer	_	1996
Formal Techniques in Real-Time and Fault-Tolerant Systems	Jan Vytopil	Springer	_	1991
Formal Techniques in Real-Time and Fault-Tolerant Systems	Hans LangmaackWillem-Paul de RoeverJan Vytopil	Springer	_	1994
Formal Techniques in Real-Time and Fault-Tolerant Systems	Mathai Joseph	Springer	_	2000
Formal Techniques in Real-Time and Fault-Tolerant Systems	Werner DammErnst -R�diger Olderog	Springer	_	2002
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	Yassine LakhnechSergio Yovine	Springer	_	2004
Formal Theories of Information	Giovanni Sommaruga	Springer	_	2009
Formal to Practical Security	V�ronique CortierClaude KirchnerMitsuhiro OkadaHideki Sakurada	Springer	_	2009
Formal Verification of Object-Oriented Software	Bernhard BeckertFerruccio DamianiDilian Gurov	Springer	_	2012