Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 13-18, 2011 (e-book)
Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 13-18, 2011 (e-book)
- Berlin Springer 2011
- Lecture Notes in Computer Science (LNCS) v.6659 LNCS Sublibrary : SL 2 – Programming and Software Engineering .
978-3-642-21455-4
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Computer communication networks--Congresses
978-3-642-21455-4
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Computer communication networks--Congresses