Ebook: NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
Author: Barrett Clark, Davies Misty, Kahsai Temesghen
- Tags: GÉNIE LOGICIEL, SOFTWARE ENGINEERING, SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL), SPECIFICATIONS (SOFTWARE ENGINEERING), SPEZIFIKATIONEN (SOFTWARE ENGINEERING), Automatisches Beweisverfahren, Formale Methode, Softwareentwicklung, Systementwicklung, Testen, Verifikation, Conference publication, Konferenzschrift, SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL), GÉNIE LOGICIEL
- Series: Lecture notes in computer science, Formal methods
- Year: 2017
- City: Moffett Field;Calif
- Language: English
- pdf
Download the book NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)