Zum Hauptinhalt springen
Umbreit Logo

Formal Methods and Hybrid Real-Time Systems

Cover von Formal Methods and Hybrid Real-Time Systems

Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science 4700, Incl Online-Access, Lecture Notes in Computer Science 4700 - Theoretical Computer Science and General Issues

Cliff B Jones/Zhiming Liu/Jim Woodcock

Springer Verlag GmbH

53.49

(inklusive MwSt.)

Verfügbarkeit: Besorgungstitel, Festbezug

Weitere Details

Erschienen: 06.09.2007

Umfang: xvi, 542 S.

Sprache: ENG

Einband: KT

ISBN/EAN: 9783540752202

Umbreit-Nr.: 1111135

Der Umbreit-Newsletter

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.