The Correctness-by-Construction Approach to Programming > Editions

by Derrick G. Kourie First published January 1st 2012

The Correctness-by-Construction Approach to Programming
Published April 12th 2012 by Springer
2012, Hardcover, 280 pages
ISBN:
9783642279188 (ISBN10: 364227918X)
ASIN:
364227918X
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
The Correctness-by-Construction Approach to Programming
Published April 10th 2012 by Springer
2012, Kindle Edition, 278 pages
ISBN:
9783642279195 (ISBN10: 3642279198)
ASIN:
B00A9YGEG6
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
The Correctness-by-Construction Approach to Programming
Published April 10th 2012 by Springer
Kindle Edition, 278 pages
ASIN:
B0DF1PV3SF
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
The Correctness-by-Construction Approach to Programming
Published April 18th 2012 by Springer
Paperback, 280 pages
Author(s):
ISBN:
9783642279201 (ISBN10: 3642279201)
ASIN:
3642279201
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
The Correctness-by-Construction Approach to Programming
Published May 9th 2014 by Springer
2012, Paperback, 280 pages
ISBN:
9783642448546 (ISBN10: 3642448542)
ASIN:
3642448542
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page