Digitale Bibliotheek |
|
||||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Tijdschrift beschrijving | |||||||||||||||||||||||||||||
Alle jaargangen van het bijbehorende tijdschrift | |||||||||||||||||||||||||||||
Alle afleveringen van het bijbehorende jaargang | |||||||||||||||||||||||||||||
Alle artikelen van de bijbehorende aflevering | |||||||||||||||||||||||||||||
Details van artikel 3 van 3 gevonden artikelen
|
|||||||||||||||||||||||||||||
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 3 van 3 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |