Tell your friends about this item:
Provably Correct Systems - NASA Monographs in Systems and Software Engineering Softcover reprint of the original 1st ed. 2017 edition
Provably Correct Systems - NASA Monographs in Systems and Software Engineering
328 pages, 70 Tables, color; 20 Tables, black and white; 48 Illustrations, color; 36 Illustrations,
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 3, 2018 |
| ISBN13 | 9783319839806 |
| Publishers | Springer International Publishing AG |
| Pages | 328 |
| Dimensions | 150 × 220 × 10 mm · 494 g (Weight (estimated)) |
| Language | German |
| Editor | Bowen, Jonathan P. |
| Editor | Hinchey, Mike |
| Editor | Olderog, Ernst-Rudiger |