Toggle navigation
About
Libraries
Help
Z39.50 Checker
Signup
Login
Add Library
Home
/
Libraries
/
Katoen, Joost-Pieter
Author
Katoen, Joost-Pieter
Catalogue records by Katoen, Joost-Pieter in the PakCat Union Catalogue.
1 catalogue record
Catalogue records
Concepts, algorithms and tools for model checking - (E-BOOK)
Katoen, Joost-Pieter
Year not listed