Sprache
Thema
Format
Verfügbarkeit
Zurücksetzen Autoren

Suchresultat

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 Englisch 21.01.2005 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Gilles Barthe - Programming Languages and Systems
Gilles Barthe Programming Languages and Systems Englisch 22.03.2011 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 18.04.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Gilles Barthe, Manuel Hermenegildo - Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo Verification, Model Checking, and Abstract Interpretation Englisch 08.01.2010 Taschenbuch Fr. 70.00 6-7 Wochen
Gilles Barthe, Cédric Fournet - Trustworthy Global Computing
Gilles Barthe, Cédric Fournet Trustworthy Global Computing Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen
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 Englisch 29.01.2013 Taschenbuch Fr. 70.00 6-7 Wochen