Formal Specification Techniques for Engineering Modular C Programs - Tapa blanda

Tan Yang Meng

 
9781461541264: Formal Specification Techniques for Engineering Modular C Programs
Tapa blanda
ISBN 10: 1461541263 ISBN 13: 9781461541264
Editorial: Springer, 2011

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2011
Idioma
Inglés
ISBN 10 
1461541263
ISBN 13 
9781461541264
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0792396537 ISBN 13:  9780792396536
Editorial: Springer, 1995
Tapa dura