E-Book, Englisch, 466 Seiten
Reihe: Computer Science
Goodloe / Person NASA Formal Methods
Erscheinungsjahr 2012
ISBN: 978-3-642-28891-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
E-Book, Englisch, 466 Seiten
Reihe: Computer Science
ISBN: 978-3-642-28891-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




