Understanding formal methods

Verfasser / Beitragende:
written and transl. by Jean-François Monin ; transl. ed. Michael G. Hinchey
Ort, Verlag, Jahr:
London [etc.] : Springer, 2003
Beschreibung:
XV, 275 p. ; 24 cm
Format:
Buch
ID: 273628771