EUR 108,85
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 723.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 111,05
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540555641 ISBN 13: 9783540555643
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 106,99
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the past decade, the formal theory of specification,verfication and development of real-time programs has grownfrom work of a few specialized groups to a real 'bandwagon'.Many eminent research groups have shifted their interests inthis direction. Consequently, research in real-time is nowentering established research areas in formal methods, suchas process algebra, temporal logic, and model checking.This volume contains the proceedings of a workshop dedicatedto the theory of real-time with the purpose of stepping backand viewing the results achieved as well as considering thedirections of ongoing research. The volume gives arepresentative picture of what is going on in the fieldworldwide, presented by eminent, active researchers. Thematerial in the volume was prepared by the authors after theworkshop took place and reflects the results of the workshopdiscussions.
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540555641 ISBN 13: 9783540555643
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 3540555641 ISBN 13: 9783540555643
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.