Idioma:

Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 advanced lectures

International Training School on Domain Modeling and the Duration Calculus (2007 Shanghai, China) Chris W George; Zhiming Liu 1961; Jim Woodcock; ICTAC 2007 (2007 Macau, China)

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4710 ) e outros locais(Acessar)

Título:
Domain modeling and the duration calculus international training school, Shanghai, China, September 17-21, 2007 advanced lectures
Autor: International Training School on Domain Modeling and the Duration Calculus (2007 Shanghai, China)
Chris W George; Zhiming Liu 1961; Jim Woodcock; ICTAC 2007 (2007 Macau, China)
Assuntos: Real-time data processing -- Congresses; Computer logic -- Congresses; Programming languages (Electronic computers) -- Congresses; Programming languages (Electronic computers) -- Semantics -- Congresses; TEORIA DA COMPUTAÇÃO (CONGRESSOS)
Notas: Includes bibliographical references and index
Descrição: Delivering real-time behavior / Alan Burns and Andy Wellings -- Applicative modelling with RAISE / Chris George -- A theory of duration calculus with application / Michael Reichhardt Hansen and Dang Van Hung -- Understanding programming language concepts via operational semantics / Cliff B. Jones
Títulos relacionados: Série:LNCS sublibrary SL 1 Theoretical computer science and general issues Lecture notes in computer science 4710; Lecture notes in computer science Tutorial
Editor: Berlin Springer New York
Data de criação/publicação: c2007
Formato: viii, 235 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 2 Avançar Ir para próxima página