Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures / / edited by Chris George, Zhiming Liu, Jim Woodcock
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures / / edited by Chris George, Zhiming Liu, Jim Woodcock
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Edizione: | 1st ed. 2007. |
| Descrizione fisica: | 1 online resource (XI, 240 p.) |
| Disciplina: | 004.33 |
| Soggetto topico: | Software engineering |
| Computer systems | |
| Computer science | |
| Computer networks | |
| Algorithms | |
| Software Engineering | |
| Computer System Implementation | |
| Computer Science Logic and Foundations of Programming | |
| Computer Communication Networks | |
| Persona (resp. second.): | GeorgeChris |
| LiuZhiming | |
| WoodcockJim | |
| Note generali: | "Thoroughly revised tutorial papers based on lectures given ... at the International Training School on Domain Modeling and the Duration Calculus, held ... as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing." |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics. |
| Titolo autorizzato: | Domain Modeling and the Duration Calculus |
| ISBN: | 3-540-74964-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910485022703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 4710