Formal methods for open object based distributed systems
: 6th IFIP WG 6.1 international conference ; proceedings / FMOODS 2003, Paris, France, November 19 - 21, 2003. Elie Najm ... (ed.). - Berlin : Springer, 2003. - X, 292 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2884)
ISBN 978-3-540-20491-6 / 3-540-20491-1 kart. : EUR 66.34 (freier Pr.), sfr 103.00
Literaturangaben
Quelle: DNB
Formal methods for open object based distributed systems
: 6th IFIP WG 6.1 international conference ; proceedings / FMOODS 2003, Paris, France, November 19 - 21, 2003. Elie Najm ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2884)
ISBN 978-3-540-39958-2
Lizenzpflichtig
Quelle: DNB
Formal techniques for networked and distributed systems
: 26th IFIP WG 6.1 international conference ; proceedings / FORTE 2006, Paris, France, September 26 - 29, 2006. Elie Najm ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4229)
ISBN 978-3-540-46220-0
Lizenzpflichtig
Quelle: DNB