Del 10
Formal Methods for Open Object-Based Distributed Systems
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Häftad, 2013
2 210 kr
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Dis
AvPaolo Ciancarini,Alessandro Fantechi
Engelska, 2013
644 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Open Object-Based Distributed Systems
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Inbunden, 1999
2 223 kr
Del 10180
Knowledge Engineering and Knowledge Management
Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti
Häftad, 2017
558 kr
Del 11865
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Häftad, 2019
561 kr
Del 10598
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Häftad, 2017
545 kr
Del 9274
Software Engineering for Resilient Systems
Alessandro Fantechi, Patrizio Pelliccione
Häftad, 2015
448 kr
Del 14455
Entertainment Computing – ICEC 2023
Paolo Ciancarini, Angelo Di Iorio, Helmut Hlavacs, Francesco Poggi
Häftad, 2023
1 213 kr
Farina - Digital Transformation
Mirko Farina, Paolo Ciancarini, Xiao Yu, Jin Chen
Häftad, 2026
1 815 kr
Object-Based Models and Languages for Concurrent Systems
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
Häftad, 1995
561 kr