Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Books - Springer London Ltd - 9781848827448 - October 5, 2009
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 3rd ed. 2009, Corr. 3rd printing 2010 edition

Price
Ft 34,634
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 8 - 18
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     Hardcover Book   (Book with hard spine and cover)
Released October 5, 2009
ISBN13 9781848827448
Publishers Springer London Ltd
Pages 502
Dimensions 167 × 237 × 32 mm   ·   911 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 )