0
  •  x 
No products in cart
 - Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems) - 9789401047890 - V9789401047890
Stock image for illustration purposes only - book cover, edition or condition may vary.

Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems)

Quantity in stock: 1
€ 342.22
FREE Delivery in Ireland
Description for Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems) Paperback. Editor(s): Rankin, R. L.; Fetzer, James H.; Colburn, Timothy R. Series: Studies in Cognitive Systems. Num Pages: 458 pages, biography. BIC Classification: PBU; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 27. Weight in Grams: 694.

Product Details

Publisher
Springer
Format
Paperback
Publication date
2012
Series
Studies in Cognitive Systems
Edition
1993rd Edition
BICCode
PBU; UMZ; UYQ
Condition
New
Weight
693g
ISBN
9789401047890
SKU
V9789401047890
Shipping Time
4 to 8 working days

Reviews for Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems)

Goodreads reviews for Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems)