TY - BOOK
AU - International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks
AU - International Conference FMOODS 11 2009 Lissabon
AU - Lee, David
AU - Lopes, Antonia
AU - Poetzsch-Heffter, Arnd
TI - Formal techniques for distributed systems joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 ; proceedings
PB - Springer
SN - 3642021379
SN - 9783642021374
KW - Electronic data processing Distributed processing Congresses
KW - Object-oriented programming (Computer science) Congresses
KW - Formal methods (Computer science) Congresses
KW - Konferenzschrift 2009 Lissabon
KW - Verteiltes System
KW - Formale Methode
KW - Rechnernetz
KW - Softwarespezifikation
KW - Formale Spezifikationstechnik
KW - Softwaretest
KW - Software
KW - Testen
PY - 2009
N2 - Literaturangaben
BT - Lecture notes in computer science ; 5522
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation