Formal Methods for Eternal Networked Software Systems
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
We couldn't estimate the reading time for this book.
Author
Contributions
- Issarny, Valérie - Contributor
- SpringerLink (Online service) - Contributor
Publication
2011 - Springer Berlin Heidelberg, Berlin, Heidelberg
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Physical Format
[electronic resource] :
Identifiers
- Open LibraryOL25545023M
- ISBN-139783642214547
- OCLC Control Numberformalmethodsfor0000inte
Classifications
- LCCQA76.758
Subjects
Topics
CongressesInformatiqueSystem designComputer scienceComputer networksInformation systemsSoftware engineeringComputer architectureComputer software, developmentFormal methods (Computer science)Mathematical Logic and Formal LanguagesProgramming Languages, Compilers, InterpretersInformation Systems Applications (incl.Internet)Software Engineering/Programming and Operating Systems
Series Statement
- Lecture Notes in Computer Science -- 6659
Other Editions
- Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Similar Books
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!