skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Transformation-based reactive systems development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Transformation-based reactive systems development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain) Miquel Bertran; Teodor Rus

Berlin Springer New York c1997

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

2
Formal methods for real-time and probabilistic systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal methods for real-time and probabilistic systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany) Joost-Pieter Katoan

Berlin Springer New York c1999

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

3
Formal Methods for Real-Time and Probabilistic Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for Real-Time and Probabilistic Systems

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Joost-Pieter Katoen; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online

4
Transformation-Based Reactive Systems Development
Material Type:
Livro
Adicionar ao Meu Espaço

Transformation-Based Reactive Systems Development

International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Miquel Bertran; Teodor Rus; Miguel Bertran; J Hartmanis; Jan Van Leeuwen

Springer Berlin Heidelberg 1997

Acesso online

5
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

Bertran, Miquel ; Rus, Teodor Rus, Teodor ; Bertran, Miquel

Berlin, Heidelberg: Springer Berlin / Heidelberg 1997

Texto completo disponível

6
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99 Bamberg, Germany, May 26-28, 1999 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99 Bamberg, Germany, May 26-28, 1999 Proceedings

Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Katoen, Joost-Pieter

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.