Catalogus
On model checking the dynamics of object-based software
D.S. Distefano

On model checking the dynamics of object-based software a foundational approach

PaperbackEngels
In het kort
ISBN-13
9789036519755
Verschenen
15 september 2003
NSTC 500703529 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Catalogus
On model checking the dynamics of object-based software
D.S. Distefano

On model checking the dynamics of object-based software

a foundational approach
PaperbackEngels
In het kort
ISBN-13
9789036519755
Verschenen
15 september 2003
NSTC 500703529 · CB-relatie 8186142 · Bijgewerkt 6 augustus 2026