skip to main content

Sair
Identificação

Idioma:

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems

Heinrich Rust

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

Enviar para

Título:
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Autor: Heinrich Rust
Assuntos: SISTEMAS OPERACIONAIS; TEMPO-REAL; SEMÂNTICA DE PROGRAMAÇÃO; Real-time data processing; Real-time programming; Hybrid systems; Operating systems (Computers); Semantics; Temps r eel; Programmation en temps r eel; Calculateurs hybrides; Syst emes d'exploitation (Ordinateurs); S emantique; Axiomatische Semantik; Betrieb; Formale Methode; Programmierung; Software Engineering; Softwareentwicklung; Zeitaufwand
Notas: Includes bibliographical references (p. [215]-220) and index
Títulos relacionados: Série:Lecture notes in computer science 3456 0302-9743
Editor: Berlin Springer New York
Data de criação/publicação: c2005
Formato: xii, 223 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento