Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems - Timothy T R Colburn - Books - Springer - 9789401047890 - October 2, 2012
In case cover and title do not match, the title is correct

Timothy T R Colburn
Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems Softcover reprint of the original 1st ed. 1993 edition

Price
HK$ 2,693
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 9 - 15

Our customers say:

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

471 pages, black & white illustrations, bibliography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 2, 2012
ISBN13 9789401047890
Publishers Springer
Pages 458
Dimensions 228 × 154 × 34 mm   ·   693 g
Editor Colburn, Timothy T.R.
Editor Fetzer, J.H.
Editor Rankin, R.L.

Mere med samme udgiver

See all of Timothy T R Colburn ( e.g. Paperback Book )