Zoekresultaten
Resultaat 1 - 2 (van 2)
D. Spelt | S. Even Theorem prover-based analysis of transactions on object-oriented databases
(extended abstract)
Non-fictie
Engels | 17 pagina's | Centre for Telematics and Information Technology, Enschede | 1998
Gedrukt boek
D. Spelt | S. Even A theorem prover-based analysis tool for object-oriented databases
Non-fictie
Engels | 16 pagina's | Centre for Telematics and Information Technology, Enschede | 1998
Gedrukt boek