Understanding formal methods
Gespeichert in:
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
Online Zugang: