TY - BOOK
AU - FMOODS 12 2010 Amsterdam
AU - FORTE 30 2010 Amsterdam
AU - Hatcliff, John
AU - Zucca, Elena
TI - Formal techniques for distributed systems joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 ; proceedings
PB - Springer
SN - 3642134637
SN - 9783642134630
KW - Electronic data processing Distributed processing Congresses
KW - Object-oriented programming (Computer science) Congresses
KW - Formal methods (Computer science) Congresses
KW - Konferenzschrift 2010 Amsterdam
KW - Verteiltes System
KW - Formale Methode
PY - 2010
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Programming and Software Engineering ; 6117
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation