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
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1461541263
ISBN 13 
9781461541264
Binding
Paperback
Number of pages
232

Other Popular Editions of the Same Title

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

Featured Edition

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