The Correctness-by-Construction Approach to Programming > Editions
by Derrick G. Kourie First published January 1st 2012
Published April 12th 2012
by Springer
2012, Hardcover, 280 pages
Published April 10th 2012
by Springer
2012, Kindle Edition, 278 pages
Published April 10th 2012
by Springer
Kindle Edition, 278 pages
Published April 18th 2012
by Springer
Paperback, 280 pages
Published May 9th 2014
by Springer
2012, Paperback, 280 pages




