Reihe Formal Approaches of Computing and Information Technology (FACIT)

 

Proof in VDM: A Practitioner’s Guide

 

Juan C. Bicarregui

Springer Berlin

Softcover

1993

53,49 €