Location & Availability for: NASA formal methods : 7th International

 Staff view

You must be logged in to Tag Records

NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /

Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.).

Book Cover
Names: Havelund, Klaus, | Holzmann, Gerard J., | Joshi, Rajeev,
Published: Cham : Springer, 2015.
Series: Lecture notes in computer science ; 9058.
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Formal methods (Computer science) - Congresses.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: NASA formal methods : 7th International