Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

By
Donald Sannella
Donald Sannella,
Andrzej Tarlecki
Andrzej Tarlecki
2012 • 584 pages
Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Type: Physical Book

Pages: 584

Release Date: 2012-01-05

ISBN 10: 3642173365

ISBN 13: 9783642173363