Vai al contenuto principale della pagina
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.: | 996466093703316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |