Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Digital
Constructing Correct Software
Loading...
Author: Cooke, John
ISBN: 9781846280795 Year: 2005 Publisher: London Springer-Verlag London Limited
ISBN: 9781846280795 Year: 2005 Publisher: London Springer-Verlag London Limited
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Mathematical logic --- Computer. Automation --- wiskunde --- software engineering --- logica
| Listing 1 - 1 of 1 |
Sort by
|