Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
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 ; proceedingsInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th 1997 Mallorca, Spain) Miquel Bertran; Teodor RusBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1231 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Formal methods for real-time and probabilistic systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedingsInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (5th 1999 Bamberg, Germany) Joost-Pieter KatoanBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1601 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Formal Methods for Real-Time and Probabilistic SystemsInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Joost-Pieter Katoen; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online |
|
4 |
Material Type: Livro
|
Transformation-Based Reactive Systems DevelopmentInternational AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software Miquel Bertran; Teodor Rus; Miguel Bertran; J Hartmanis; Jan Van LeeuwenSpringer Berlin Heidelberg 1997Acesso online |
|
5 |
Material Type: Livro
|
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, ProceedingsBertran, Miquel ; Rus, Teodor Rus, Teodor ; Bertran, MiquelBerlin, Heidelberg: Springer Berlin / Heidelberg 1997Texto completo disponível |
|
6 |
Material Type: Livro
|
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99 Bamberg, Germany, May 26-28, 1999 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Katoen, Joost-PieterBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |