Treffer: Understanding formal methods

Titel:

Understanding formal methods / written and transl. by: Jean-François Monin

Beteiligt:

Monin, Jean-François

Veröffentlicht:

London [u.a.] : Springer, 2003

Umfang:

XV, 275 S. : graph. Darst. ; 24 cm

Publikationstyp:

Buch

Sprache:

Englisch

Werktitel:

Introduction aux méthodes formelles (engl.)

Anmerkungen:

Literaturverz. S. 255 - 267

RVK-Notation:

Schlagworte:

ISBN:

1852332476 ; 9781852332471

Zusatz-Informationen