Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Book
Spécification et vérification de programmes avec SPEC#
Loading...
Authors:
Hao, Liu
---
Pecheur, Charles
---
UCL.. EPL/INGI - Département d'ingénierie informatique
Year: 2008 Publisher: Louvain-la-Neuve: UCL,
Year: 2008 Publisher: Louvain-la-Neuve: UCL,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 1 of 1 |
Sort by
|