E-book Search

E-Book Title	Author	Publisher	ISBN	Copyright Year
Formal Methods for Computational Systems Biology	Marco BernardoPierpaolo DeganoGianluigi Zavattaro	Springer	_	2008
Formal Methods for Eternal Networked Software Systems	Marco BernardoVal�rie Issarny	Springer	_	2011
Formal Methods for Hardware Verification	Marco BernardoAlessandro Cimatti	Springer	_	2006
Formal Methods for Industrial Applications	Jean-Raymond AbrialEgon B�rgerHans Langmaack	Springer	_	1996
Formal Methods for Industrial Critical Systems	Gwen Sala�nBernhard Sch�tz	Springer	_	2011
Formal Methods for Industrial Critical Systems	Mari�lle StoelingaRalf Pinger	Springer	9783642324697	2012
Formal Methods for Industrial Critical Systems	Stefan LeuePedro Merino	Springer	_	2008
Formal Methods for Industrial Critical Systems	Mar�a AlpuenteByron CookChristophe Joubert	Springer	_	2009
Formal Methods for Industrial Critical Systems	Stefan KowalewskiMarco Roveri	Springer	_	2010
Formal Methods for Industrial Critical Systems	Darren CoferAlessandro Fantechi	Springer	_	2009
Formal Methods for Mobile Computing	Marco BernardoAlessandro Bogliolo	Springer	_	2005
Formal Methods for Model-Driven Engineering	Marco BernardoVittorio CortellessaAlfonso Pierantonio	Springer	_	2012
Formal Methods for Open Object-Based Distributed Systems	Martin SteffenGianluigi Zavattaro	Springer	_	2005
Formal Methods for Open Object-Based Distributed Systems	Roberto GorrieriHeike Wehrheim	Springer	_	2006
Formal Methods for Open Object-Based Distributed Systems	Marcello M. BonsangueEinar Broch Johnsen	Springer	_	2007
Formal Methods for Open Object-Based Distributed Systems	Gilles BartheFrank S. de Boer	Springer	_	2008
Formal Methods for Open Object-Based Distributed Systems	Elie NajmUwe NestmannPerdita Stevens	Springer	_	2003
Formal Methods for Performance Evaluation	Marco BernardoJane Hillston	Springer	_	2007
Formal Methods for Quantitative Aspects of Programming Languages	Alessandro AldiniMarco BernardoAlessandra Di PierroHerbert Wiklicky	Springer	_	2010
Formal Methods for Real-Time and Probabilistic Systems	Joost-Pieter Katoen	Springer	_	1999
Formal Methods for Software Architectures	Marco BernardoPaola Inverardi	Springer	_	2003
Formal Methods for the Design of Real-Time Systems	Marco BernardoFlavio Corradini	Springer	_	2004
Formal Methods for Web Services	Marco BernardoLuca PadovaniGianluigi Zavattaro	Springer	_	2009
Formal Methods in Computer-Aided Design	Ganesh GopalakrishnanPhillip Windley	Springer	_	1998
Formal Methods in Computer-Aided Design	Mark D. AagaardJohn W. O�Leary	Springer	_	2002