Rigorous sofrware development: an introduction to program verifacation Jose Bacelar ASlmeida, Maria Joao Frade, Jorge Sosa Pinto and Simao Melo de Sousa
Material type:
TextPublication details: London: Springer; 2011Description: vii, 263p.P: ill.; 22cmISBN: - 9780857290175
- DUCE 76.76.W47
| Item type | Current library | Collection | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Books | DUCE LIBRARY | Special Reserve | DUCE QA76.76,W47 (Browse shelf(Opens below)) | 1 | Not For Loan | 000000170512 |
Browsing DUCE LIBRARY shelves, Collection: Special Reserve Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| DUCE QA76.73B3 Programming in visual basic 6 | DUCE QA76.73J38 Introduction to programming with java: a problem solving approach/ | DUCE QA76.73J38 Introduction to programming with java: a problem solving approach/ | DUCE QA76.76,W47 Rigorous sofrware development: an introduction to program verifacation | DUCE QA76.76.D7B7 Software system development : a gentle introduction/ | DUCE QA76.76.D7B7 Software system development : a gentle introduction/ | DUCE QA76.76.D47 Software project managment/ |
Includes index
There are no comments on this title.
Log in to your account to post a comment.