Verwandte Artikel zu 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
Verlag: Springer, 2012

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3642279201
ISBN 13 
9783642279201
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783642279188: The Correctness-by-Construction Approach to Programming

Vorgestellte Ausgabe

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