A logic of actions and its application to the development of programmable controllers
Koblenz: Fölbach 2001 235 S. (Koblenzer Schriften zur Informatik ; 16)
Erscheinungsjahr: 2001
ISBN/ISSN: 3934795161
Publikationstyp: Buch
Sprache: Englisch
Geprüft | Bibliothek |