Willkommen, schön sind Sie da!
Logo Ex Libris

Domain Modeling and the Duration Calculus

  • E-Book (pdf)
  • 240 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Trainin... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 80.00
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.



Inhalt

Delivering Real-Time Behaviour.- Applicative Modelling with RAISE.- A Theory of Duration Calculus with Application.- Understanding Programming Language Concepts Via Operational Semantics.

Produktinformationen

Titel: Domain Modeling and the Duration Calculus
Untertitel: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Editor:
EAN: 9783540749646
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 240
Veröffentlichung: 29.08.2007
Dateigrösse: 3.6 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"