Formale Methoden für verteilte Systeme
/ Hartmut König (Hrsg.). - München : Saur, 1993. - 178 S. : graph. Darst.; 21 cm - (Fokus; Bd. 8)
ISBN 978-3-598-22409-6 / 3-598-22409-5 Pp. : DM 68.00
Literaturangaben. - Beitr. teilw. dt., teilw. engl.
Quelle: DNB
Formal methods for open object based distributed systems
: 7th IFIP WG 6.1 international conference ; proceedings / FMOODS 2005, Athens, Greece, June 15 - 17, 2005. Martin Steffen ; Gianluigi Zavattaro (ed.). - Berlin : Springer, 2005. - X, 321 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3535)
ISBN 978-3-540-26181-0 / 3-540-26181-8 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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 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
: 8th IFIP WG 6.1 international conference ; proceedings / FMOODS 2006, Bologna, Italy, June 14 - 16, 2006. Roberto Gorrieri ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4037)
ISBN 978-3-540-34895-5
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5051)
ISBN 978-3-540-68863-1
Lizenzpflichtig
Quelle: DNB
Formal methods for open object based distributed systems
: 10th IFIP WG 6.1 international conference ; proceedings / FMOODS 2008, Oslo, Norway, June 4 - 6, 2008. Gilles Barthe ; Frank S. de Boer (ed.). - Berlin : Springer, 2008. - X, 258 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 5051)
ISBN 978-3-540-68862-4 kart. : EUR 67.41 (freier Pr.), sfr 105.00 (freier Pr.)
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 27th IFIP WG 6.1 international conference ; proceedings / FORTE 2007, Tallinn, Estonia, June 27 - 29, 2007. John Derrick ; Jüri Vain (ed.). - Berlin : Springer, 2007. - XI, 373 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4574)
ISBN 978-3-540-73195-5 / 3-540-73195-4 kart. : EUR 77.04 (freier Pr.), ca. sfr 118.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.). - Berlin : Springer, 2002. - XI, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2529)
ISBN 978-3-540-00141-6 / 3-540-00141-7 kart. : EUR 55.64
Literaturangaben
Quelle: DNB
