Algebraic Specification Techniques And Tools For Software Development
Download Algebraic Specification Techniques And Tools For Software Development full books in PDF, epub, and Kindle. Read online free Algebraic Specification Techniques And Tools For Software Development ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Related Books
Language: en
Pages: 268
Pages: 268
Type: BOOK - Published: 1993 - Publisher: World Scientific
The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusabi
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 362
Pages: 362
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
"I prefer to view formal methods as tools. the use of which might be helpful." E. W. Dijkstra Algebraic specifications are about to be accepted by industry. Man
Language: en
Pages: 333
Pages: 333
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefull
Language: en
Pages: 375
Pages: 375
Type: BOOK - Published: 1996 - Publisher: World Scientific
Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic
Top