Tag Formal Development
Tagged Works
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
- Computer Exercises Instructor'S Manual by Harold Abelson
- Fundamentals of Algebraic Specification 1: Equations and Initial Semantics by Hartmut Ehrig
- Algebraic Specifications in Software Engineering: An Introduction by Ivo Van Horebeek
- Specification of Software Systems (Texts in Computer Science) by V.S. Alagar
- The Specification of Computer Programs (International Computer Science Series) by Wadysaw Turski
- Larch: Languages and Tools for Formal Specification by John Guttag
- Mathematical Logic and Programming Languages by C.A.R. Hoare
- Algorithmic Language and Program Development by Friedrich L. Bauer
- Algebraic Semantics of Imperative Programs by Joseph A. Goguen
- Formal Development of Programs and Proofs by Edsger Dijkstra
- A Method of Programming by Edsger W. Dijkstra
- Data Types and Data Structures (Prentice Hall International Series in Computing Science) by Johannes J. Martin
- Abstraction and Specification in Program Development by Barbara Liskov
- The Design of Well-Structured and Correct Programs (Monographs in Computer Science) by Suad Alagic
- Structure and Interpretation of Computer Programs by Harold Abelson
Using the Tag
pgourdin (15)
Related Series
Aliases and Translations
Includes: Formal Development, formal development
Google Books Ngram Viewer
Data from Books Ngram Viewer