Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 7321Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Description: Online-Ressource (XII, 360p. 105 illus, digital)ISBN:- 9783642307294
- 004.01/51 23
- 005.1
- 004
- QA76.758
No physical items for this record
Literaturangaben