Springer
The Correctness-By-Construction Approach to Programming
Product Code:
9783642279188
ISBN13:
9783642279188
Condition:
New
$118.37
The Correctness-By-Construction Approach to Programming
$118.37
The Correctness-By-Construction Approach to Programming
| Author: Derrick G. Kourie |
| Publisher: Springer |
| Publication Date: Apr 12, 2012 |
| Number of Pages: 266 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 364227918X |
| ISBN-13: 9783642279188 |
Related Products
