Items related to The Correctness-by-Construction Approach to Programming

The Correctness-by-Construction Approach to Programming - Softcover

Kourie, Derrick G.; Watson, Bruce W.

 
9783642279201: The Correctness-by-Construction Approach to Programming
Softcover
ISBN 10: 3642279201 ISBN 13: 9783642279201
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Synopsis

Introduction.- Background.- Simple Examples.- Intermediary Examples.- Procedures and Recursion.- Case Study: Lattice Cover Graph Construction.- Case Study 2: Classifying MADFA Construction Algorithms.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3642279201
ISBN 13 
9783642279201
Binding
Paperback

Other Popular Editions of the Same Title

9783642279188: The Correctness-by-Construction Approach to Programming

Featured Edition

ISBN 10:  364227918X ISBN 13:  9783642279188
Publisher: Springer, 2012
Hardcover