Take a photo of a barcode or cover
334 pages • missing pub info (view editions)
ISBN/UID: 9781981128860
Format: Paperback
Language: English
Publisher: Createspace Independent Publishing Platform
Edition Pub Date: 23 August 2017
Description
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the ...
Community Reviews
Content Warnings
334 pages • missing pub info (view editions)
ISBN/UID: 9781981128860
Format: Paperback
Language: English
Publisher: Createspace Independent Publishing Platform
Edition Pub Date: 23 August 2017
Description
Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the ...
Community Reviews
Content Warnings