Formal Techniques for Distributed Systems
Subtitle: 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
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter
Contributors: Vardi, Moshe Y.; Poetzsch-Heffter, Arnd; Weikum, Gerhard; Lee, David; Mitchell, John C.; Kanade, Takeo; Terzopoulos, Demetri; Sudan, Madhu; Steffen, Bernhard; Kleinberg, Jon M.; Pandu Rangan, C.; Nierstrasz, Oscar; Naor, Moni; Lopes, Antónia; Tygar, Doug; Kittler, Josef; Mattern, Friedemann; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5522
Publisher: Springer Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642021374; 9783642021381
Subjects: Logic design; Computer networks; Computer science; Software engineering