E-Book, Englisch, Band 4710, 240 Seiten, eBook
George / Liu / Woodcock Domain Modeling and the Duration Calculus
2007
ISBN: 978-3-540-74964-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
E-Book, Englisch, Band 4710, 240 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-74964-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Delivering Real-Time Behaviour.- Applicative Modelling with RAISE.- A Theory of Duration Calculus with Application.- Understanding Programming Language Concepts Via Operational Semantics.