Vista normal Vista MARC Vista ISBD

Nasa formal methods : 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. - xiii, 458 páginas : 115 ilustraciones - Lecture Notes in Computer Science, 9058 0302-9743 ; .

Springer eBooks

ISBN: 9783319175249

LC Class. No.: QA76.758