All Formats & Editions
1 - 2 of 2 results found
Formal Methods for Software Engineering: Langua...
Edition Description
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an...
Edition Details
Format:Paperback
Language:English
ISBN:3030388026
Format: Paperback
Condition:
$
64.99
Formal Methods for Software Engineering: Langua...
Edition Description
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an...
Edition Details
Format:Hardcover
Language:English
ISBN:3030387992
Format: Hardcover
Condition:
$
89.99
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
