Program Verification Fundamental Issues in Computer Science 14 Studies in Cognitive Systems

Name: Program Verification Fundamental Issues in Computer Science 14 Studies in Cognitive Systems
Brand: Springer
SKU: 9780792319658
Price: 237.49 GBP
Availability: InStock

Product form

A Hardback by Timothy T.R. Colburn, J.H. Fetzer, R.L. Rankin

£237.49

Includes FREE delivery

RRP £249.99 – you save £12.50 (5%)

Order before 4pm today for delivery by Fri 11 Sep 2026.

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Program Verification Fundamental Issues in Computer Science 14 Studies in Cognitive Systems by Timothy T.R. Colburn

Book details

Publisher Springer

Published 31 January 1993

ISBN-13 9780792319658
978-0792319658

Also in:
Computing Software Engineering Mathematics Optimization Science & Nature Philosophy of science