Books+ Search Results
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
Author
Title
Formal Techniques for Distributed Systems [electronic resource] : 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 / 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.
ISBN
9783642021381
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Variant and related titles
Springer eBooks.
Format
Books / Online
Language
English
Added to Catalog
August 11, 2009
Series
Lecture Notes in Computer Science, 5522
Also listed under
SpringerLink (Online service)
Bookmark As
Citation
