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
€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
