NASA Formal Methods

NASA Formal Methods

EnglishPaperback / softbackPrint on demand
Springer, Berlin
EAN: 9783319175232
Print on demand
Delivery on Tuesday, 4. of August 2026
€57.83
Common price €64.25
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available
EAN 9783319175232
ISBN 3319175238
Binding Paperback / softback
Publisher Springer, Berlin
Publication date April 9, 2015
Pages 458
Language English
Dimensions 235 x 155
Country Switzerland
Illustrations 115 Illustrations, black and white
Editors Havelund Klaus; Holzmann, Gerard; Joshi Rajeev
Edition 2015 ed.
Series Lecture Notes in Computer Science
Manufacturer information
The manufacturer's contact information can be found here.