Vdm 91: Formal Software Development Methods : Proceedings: 001 (Lecture Notes in Computer Science) - Tapa blanda

Prehn, S.

 
9780387548340: Vdm 91: Formal Software Development Methods : Proceedings: 001 (Lecture Notes in Computer Science)