Algebraic System Specification and Development

A Survey and Annotated Bibliography, Lecture Notes in Computer Science 501

53,49 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9783540540601
Sprache: Englisch
Umfang: xii, 184 S.
Einband: kartoniertes Buch

Beschreibung

InhaltsangabeBasic foundations.- Models and logics.- Development concepts.- Support tools.- Applications.