Formal Specification Techniques for Engineering Modular C Programs - Softcover

Tan Yang Meng

 
9781461541264: Formal Specification Techniques for Engineering Modular C Programs
Softcover
ISBN 10: 1461541263 ISBN 13: 9781461541264
Verlag: Springer, 2011

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

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

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1461541263
ISBN 13 
9781461541264
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780792396536: Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering, 1, Band 1)

Vorgestellte Ausgabe

ISBN 10:  0792396537 ISBN 13:  9780792396536
Verlag: Springer, 1995
Hardcover