Formal Methods for Open Object-Based Distributed Systems
Marcello M. Bonsangue, Einar Broch Johnsen
Häftad, 2007
559 kr
Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
AvEinar Broch Johnsen,Marcello M. Bonsangue
E-bok
PDF, Engelska, 2007734 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
Del 9104
Logic of Software. A Tasting Menu of Formal Methods
Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20221 459 kr
Service-Oriented and Cloud Computing
Einar Broch Johnsen, Stefan Schulte, Flavio De Paoli
E-bok
2017734 kr
Del 10465
Service-Oriented and Cloud Computing
Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen
Häftad, 2017
559 kr
Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Häftad, 2016
559 kr