Related Books
Language: en
Pages: 269
Pages: 269
Type: BOOK - Published: 2011-01-04 - Publisher: Springer Science & Business Media
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by
Language: en
Pages: 301
Pages: 301
Type: BOOK - Published: 2009-07-27 - Publisher: Springer Science & Business Media
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development:
Language: en
Pages: 408
Pages: 408
Type: BOOK - Published: 1980 - Publisher: Prentice Hall
A course in software development practice ; problem based, with programs written in PL/I language.
Language: en
Pages: 638
Pages: 638
Type: BOOK - Published: 1997 - Publisher: Course Technology Ptr
PART I: FUNDAMENTALS OF MEASUREMENT AND EXPERIMENTATION 1. Measurement: What Is It and Why Do It? 2. The Basics of Measurement 3. A Goal-Based Framework for Sof
Language: en
Pages: 367
Pages: 367
Type: BOOK - Published: 2021-06-04 - Publisher: Springer Nature
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author