skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
This feature requires javascript
Primo Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Search For:
Clear Search Box
Search in:
Busca Geral
Or select another collection:
Search in:
Busca Geral
Busca Avançada
Busca por Índices
This feature requires javascript
This feature requires javascript
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.
Exibir Online
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
This feature requires javascript
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
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
Este item no Dedalus
Link para o recurso
Link para o recurso
Acesso ao doi
This feature requires javascript
This feature requires javascript
Voltar para lista de resultados
Anterior
Resultado
4
Avançar
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(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
This feature requires javascript
This feature requires javascript