Formal Methods for Eternal Networked Software Systems [electronic resource] : 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 / edited by Marco Bernardo, Valérie Issarny.
By: Bernardo, Marco.
Contributor(s): Issarny, Valérie | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science, 6659.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642214554.Subject(s): Computer science | Software engineering | Information systems | Computer Science | Software Engineering | Software Engineering/Programming and Operating Systems | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Information Systems Applications (incl.Internet)DDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.