Del 13910
Formal Techniques for Distributed Objects, Components, and Systems
Marieke Huisman, António Ravara
Häftad
768 kr
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th I
AvMarieke Huisman,António Ravara
Engelska, 2023
653 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Del 15731
Del 9421
Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Häftad
464 kr
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Marieke Huisman, Anton Wijs
634 kr
Del 13487
Del 9681
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Inbunden
699 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Häftad
550 kr
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
Häftad
550 kr