Related Books
Language: en
Pages: 14
Pages: 14
Type: BOOK - Published: 1987 - Publisher:
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 1990 - Publisher: Addison-Wesley Professional
In 1987, The University of Texas at Austin sponsored the Year of Programming, which consisted of six institutes on selected topics in computer programming. Lead
Language: en
Pages: 282
Pages: 282
Type: BOOK - Published: 2006-01-25 - Publisher: Springer Science & Business Media
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particula
Language: en
Pages: 396
Pages: 396
Type: BOOK - Published: 1997 - Publisher: Springer Science & Business Media
Software -- Software Engineering.
Language: en
Pages: 273
Pages: 273
Type: BOOK - Published: 2012-04-10 - Publisher: Springer Science & Business Media
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so f