Correctness-by-Construction Approach to Programming

Correctness-by-Construction Approach to Programming

EnglishHardbackPrint on demand
Kourie Derrick G.
Springer, Berlin
EAN: 9783642279188
Print on demand
Delivery on Tuesday, 18. of August 2026
€115.66
Common price €128.52
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Banská Bystrica
not available
Oxford Bookshop Bratislava
not available
Oxford Bookshop Košice
not available
EAN 9783642279188
ISBN 364227918X
Binding Hardback
Publisher Springer, Berlin
Publication date April 12, 2012
Pages 266
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Authors Kourie Derrick G.; Watson Bruce W.
Illustrations XIV, 266 p.
Manufacturer information
The manufacturer's contact information can be found here.