Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Häftad, 2006
565 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
AvJean-Luis Lanet,Marieke Huisman
E-bok
PDF, Engelska, 2006708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Traian Muntean, Jean-Louis Lanet, Marieke Huisman, Lilian Burdy, Gilles Barthe
E-bok
2005708 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Häftad, 2005
565 kr
Del 13487
Formal Techniques for Distributed Objects, Components, and Systems
Antonio Ravara, Marieke Huisman
E-bok
2023944 kr