Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Formal development of reactive systems

Titel:

Formal development of reactive systems : case study production cell / Claus Lewerentz ; Thomas Lindner (ed.)

Beteiligt:

Veröffentlicht:

Berlin [u.a.] : Springer, 1995

Umfang:

XI, 394 S. : Ill., graph. Darst.

Publikationstyp:

Buch

Sprache:

Sprache nicht angegeben

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; Vol. 891

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540588671 ; 0387588671

Zusatz-Informationen