ENGLISH

NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

By BARRETT , Clark;Davies , Misty;Kahsai , Temesghen

Book information

Year
2017
ISBN
9783319572871, 9783319572888, 3319572873
Language
english
Format
PDF
Filesize
20 MB (20656753 bytes)
Series
Lecture notes in computer science; Formal methods
Pages
XI, 436 Seiten : Illustrationen\448
Time added
2020-07-26 19:24:52
GÉNIE LOGICIEL;SOFTWARE ENGINEERING;SPÉCIFICATIONS

Similar books