Articles liés à The Correctness-by-Construction Approach to Programming

The Correctness-by-Construction Approach to Programming - Couverture souple

Kourie, Derrick G.; Watson, Bruce W.

 
9783642279201: The Correctness-by-Construction Approach to Programming
Couverture souple
ISBN 10 : 3642279201 ISBN 13 : 9783642279201
Editeur : Springer, 2012

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
3642279201
ISBN 13 
9783642279201
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783642279188: The Correctness-by-Construction Approach to Programming

Edition présentée

ISBN 10 :  364227918X ISBN 13 :  9783642279188
Editeur : Springer-Verlag Berlin and Heide..., 2012
Couverture rigide