Related Books
Language: en
Pages: 266
Pages: 266
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho
Language: en
Pages: 250
Pages: 250
Type: BOOK - Published: 2012-01-25 - Publisher: Springer
Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 1995-08-23 - Publisher: Springer Science & Business Media
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca
Language: en
Pages: 436
Pages: 436
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three ma
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
