Formal Methods for Open Object-Based Distributed Systems
Martin Steffen, Gianluigi Zavattaro
Häftad, 2005
556 kr
Software Engineering and Formal Methods
SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
AvJavier Camara,Martin Steffen
Häftad, Engelska, 2020
Del 12226 i serien Lecture Notes in Computer Science
776 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Hat die Rede von Gott noch Zukunft?
Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen
Inbunden, 2024
271 kr
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
Häftad, 2010
556 kr
Del 1269
Software Architecture
Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun
Häftad, 2020
1 105 kr
- -19%
- -30%
- 4 för 3
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr
- Nyhet
Del 2