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
We couldn't estimate the reading time for this book.
Contributions
- Vardi, Moshe Y. - Contributor
- Poetzsch-Heffter, Arnd - Contributor
- Weikum, Gerhard - Contributor
- Lee, David - Contributor
- Mitchell, John C. - Contributor
and 13 more
- Kanade, Takeo - Contributor
- Terzopoulos, Demetri - Contributor
- Sudan, Madhu - Contributor
- Steffen, Bernhard - Contributor
- Kleinberg, Jon M. - Contributor
- Pandu Rangan, C. - Contributor
- Nierstrasz, Oscar - Contributor
- Naor, Moni - Contributor
- Lopes, Antónia - Contributor
- Tygar, Doug - Contributor
- Kittler, Josef - Contributor
- Mattern, Friedemann - Contributor
- SpringerLink (Online service) - Contributor
Publication
2009 - Springer Berlin Heidelberg, Berlin, Heidelberg, Germany
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
Electronic resource
Identifiers
- Internet Archiveformaltechniques00leed
- Internet Archiveformaltechniques2009leed
- ISBN-139783642021374
- ISBN-139783642021381
- ISBN-103642021379
and 6 more
- ISBN-103642021387
- Library of Congress Control Number2009936003
- OCLC Control Number401153802
- Better World Books9783642021381
- Better World Books9783642021374
- Open LibraryOL25548831M
Classifications
- LCCQA76.9.D5 I573 2009
- LCCQA75.5-76.95
Subjects
Topics
TestenKongressSoftwareCongressesRechnernetzLogic designSystem designFormale MethodeComputer scienceComputer networksVerteiltes SystemSoftware engineeringSoftwarespezifikationDistributed processingElectronic data processingFormale SpezifikationstechnikFormal methods (Computer science)Object-oriented programming (Computer science)Electronic data processing, distributed processing
Series Statement
- Lecture Notes in Computer Science -- 5522
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!