Treffer: Formal methods and object technology

Titel:

Formal methods and object technology / S. J. Goldsack ... (eds.)

Beteiligt:

Veröffentlicht:

London [u.a.] : Springer, 1996

Umfang:

XVIII, 368 S. : Ill., graph. Darst.

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Formal approaches to computing and information technology

RVK-Notation:

Schlagworte:

ISBN:

3540199772

Zusatz-Informationen