Formal Specification Techniques for Engineering Modular C Programs - Couverture souple

Tan Yang Meng

 
9781461541264: Formal Specification Techniques for Engineering Modular C Programs
Couverture souple
ISBN 10 : 1461541263 ISBN 13 : 9781461541264
Editeur : Springer, 2011

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

Synopsis

Foreword. Preface. 1. Introduction. 2. Overview of LCL. 3. Supporting programming styles. 4. Specification techniques. 5. Redundancy in specifications. 6. Reengineering using LCL. 7. The semantics of LCL. 8. Further work and summary. A. LCL reference grammar. B. Relating LCL types and LSL sorts. C. LCL built-in operators. D. Specification case study. E. Getting larch tools and information. References. Index.

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

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461541263
ISBN 13 
9781461541264
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9780792396536: Formal Specification Techniques for Engineering Modular C Programs

Edition présentée

ISBN 10 :  0792396537 ISBN 13 :  9780792396536
Editeur : Kluwer Academic Publishers, 1995
Couverture rigide