The Correctness-by-Construction Approach to Programming

Correctness

von: Derrick G. Kourie · Bruce W. Watson

Gebunden

EAN=ISBN-13: 978-3-642-27918-8

ISBN-10: 3-642-27918-X

Springer · 2012

S. auch:
2014TaschenbuchThe Correctness-by-Construction Approach to Programming