Formal Methods for Open Object-Based Distributed Systems
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Häftad
2 180 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
653 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
2 180 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
550 kr
Del 11865
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Häftad
550 kr
Del 10598
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Häftad
534 kr
Del 9274
Del 14455
Entertainment Computing – ICEC 2023
Paolo Ciancarini, Angelo Di Iorio, Helmut Hlavacs, Francesco Poggi
Häftad
1 196 kr
Object-Based Models and Languages for Concurrent Systems
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
Häftad
550 kr