Foundations of Algebraic Specification and Formal Software Development
Andrzej Tarlecki, Donald Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011
139,95 €On orderDelivery: 2-3 weeks
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
- ISBN-13
- 9783642173356
- ISBN-10
- 3642173357
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2011
- Publication date
- 2011-12-30
- Pages
- 584
- Dimensions
- 235x155x