Related Books
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: 228
Pages: 228
Type: BOOK - Published: 1991 - Publisher: Springer Verlag
"The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The des
Language: en
Pages: 296
Pages: 296
Type: BOOK - Published: 1989 - Publisher: Addison Wesley Publishing Company
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: 282
Pages: 282
Type: BOOK - Published: 2015-12-16 - Publisher: Springer
This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference trad