Added to your cart

Computers & Technology Books > Software Books

Hardcover Formal Methods of Program Verification and Specification Book

Share to Facebook

Share to Pinterest

Share to Twitter

ISBN: 0133288072

ISBN13: 9780133288070

Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series)

By Franta

No Customer Reviews

No Synopsis Available.

Format:Hardcover

Language:English

ISBN:0133288072

ISBN13:9780133288070

Release Date:January 1982

Publisher:Prentice Hall

Length:207 Pages

Weight:1.05 lbs.

Related Subjects

Computer Science Computers & Technology Education & Reference Mathematics Reference Science & Math Software Textbooks

Based on Your Recent Browsing

The Lion, the Witch and the Wardrobe

C.S. Lewis

from: $3.89

The Kite Runner

Khaled Hosseini

from: $3.99

Man's Search for Meaning

from: $5.79

from: $4.79

from: $3.69

from: $3.99

from: $8.29

from: $5.79

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2025 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

Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series)

Recommended

Based on Your Recent Browsing

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us