Produktbild
J. W. de (Hrsg.) Bakker

Real-Time: Theory in Practice

REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Buch

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… Mehr

CHF 179.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Huizing, C. (Hrsg.) / Roever, W. P. de (Hrsg.) / Rozenberg, G. (Hrsg.)
  • ISBN: 978-3-540-55564-3
  • EAN: 9783540555643
  • Produktnummer: 3257200
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1992
  • Seitenangabe: 736 S.
  • Masse: H23.5 cm x B15.5 cm x D3.9 cm 1'095 g
  • Auflage: 1992
  • Abbildungen: Paperback
  • Gewicht: 1095

4 weitere Werke von J. W. de (Hrsg.) Bakker:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.