Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Luis Pinto et al... - Applied Semantics

Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Luis Pinto et al... Applied Semantics English 07.10.2002 Paperback / Softback Fr. 70.00 6-7 weeks

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri - Foundations of Security Analysis and Design V

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri Foundations of Security Analysis and Design V English 17.08.2009 Paperback / Softback Fr. 65.00 6-7 weeks

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet Construction and Analysis of Safe, Secure, and Interoperable Smart Devices English 18.04.2006 Paperback / Softback Fr. 70.00 6-7 weeks

Gilles Barthe - Programming Languages and Systems

Gilles Barthe Programming Languages and Systems English 22.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks

Gilles Barthe, Alberto Pardo, Gerardo Schneider - Software Engineering and Formal Methods

Gilles Barthe, Alberto Pardo, Gerardo Schneider Software Engineering and Formal Methods English 21.10.2011 Paperback / Softback Fr. 70.00 6-7 weeks

Gilles Barthe, Manuel Hermenegildo - Verification, Model Checking, and Abstract Interpretation

Gilles Barthe, Manuel Hermenegildo Verification, Model Checking, and Abstract Interpretation English 08.01.2010 Paperback / Softback Fr. 70.00 6-7 weeks

Gilles Barthe, Cédric Fournet - Trustworthy Global Computing

Gilles Barthe, Cédric Fournet Trustworthy Global Computing English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks

Gille Barthe, Gilles Barthe, Frank S. de Boer - Formal Methods for Open Object-Based Distributed Systems

Gille Barthe, Gilles Barthe, Frank S. de Boer Formal Methods for Open Object-Based Distributed Systems English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean Construction and Analysis of Safe, Secure, and Interoperable Smart Devices English 21.01.2005 Paperback / Softback Sold out