NASA Formal Methods
de Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Materias
Ediciones (4)
- NASA Formal Methods (2022)
Springer International Publishing AG · inglés · ISBN 9783031067723
- NASA Formal Methods (2015)
Springer · ISBN 9783319175232
- NASA Formal Methods (2015)
Springer London, Limited · inglés · ISBN 9783319175249
- NASA Formal Methods (2011)
Springer · inglés · ISBN 9783642203985
