Zoekresultaten
Resultaat 1 - 3 (van 3)
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
D. Spelt | Herman Balsters Higher-order logic representation of OO database schemas
Non-fictie
Engels | 12 pagina's | Centre for Telematics and Information Technology, Enschede | 1996
Gedrukt boek