Formal methods for open object based distributed systems
: 9th IFIP WG 6.1 international conference ; proceedings / FMOODS 2007, Paphos, Cyprus, June 6 - 8, 2007. Marcello M. Bonsangue ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4468)
ISBN 978-3-540-72952-5
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 9th IFIP WG 6.1 international conference ; proceedings / FMOODS 2007, Paphos, Cyprus, June 6 - 8, 2007. Marcello M. Bonsangue ; Einar Broch Johnsen (ed.). - Berlin : Springer, 2007. - X, 316 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4468)
ISBN 978-3-540-72919-8 / 3-540-72919-4 kart. : EUR 72.76 (freier Pr.), ca. sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
