Skip to content
Scan a barcode
Scan
Paperback Using Event-B for Critical Device Software Systems Book

ISBN: 1981128867

ISBN13: 9781981128860

Using Event-B for Critical Device Software Systems

No Synopsis Available.

Recommended

Format: Paperback

Condition: New

$45.53
Save $3.02!
List Price $48.55
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured