Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Books - Springer London Ltd - 9781447125136 - March 14, 2012
In case cover and title do not match, the title is correct

Krzysztof R. Apt
Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition

Price
SFr. 67.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 15 - 25
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.

502 pages, 26 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 14, 2012
ISBN13 9781447125136
Publishers Springer London Ltd
Pages 502
Dimensions 156 × 233 × 28 mm   ·   730 g
Language English  
Contributor Amir Pnueli
Show all

More by Krzysztof R. Apt

See all of Krzysztof R. Apt ( e.g. Hardcover Book and Paperback Book )