Formal Methods for Open Object-Based Distributed Systems
Martin Steffen, Gianluigi Zavattaro
Häftad, 2005
561 kr
Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
AvGianluigi Zavattaro,Martin Steffen
E-bok
PDF, Engelska, 2005708 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
Concurrency, Compositionality, and Correctness
Martin Steffen, Ulrich Hannemann, Dennis Dams
E-bok
2010718 kr
Del 12226
Hat die Rede von Gott noch Zukunft?
Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen
Inbunden, 2024
271 kr
Service-Oriented and Cloud Computing
Gianluigi Zavattaro, Ernesto Pimentel, Flavio De Paoli
E-bok
2012629 kr
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
Häftad, 2010
561 kr