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: 1993-03-05 - 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: 323
Pages: 323
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media
The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a fam
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