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 - Paperback - 1997
Estado :
Segunda-mão: Muito bom estado
Estados : Segunda-mão: Muito bom estado
Capa, contra-capa, cantos e páginas interiores poderão apresentar pequenos defeitos estéticos.
Vendido por
País de expedição : França
Comentários do vendedor
Antigo livro de biblioteca. Edição 1997. Ammareal doa até 15% do valor líquido deste artigo para instituições de caridade.
Resumo
Presented in this book are 24 papers selected from those given at an international conference on real-time systems and concurrent and distributed software. Issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Year of publication: 1997
Pagination: 436 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Miquel Bertran, Teodor Rus
Year of publication: 1997
Pagination: 436 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Miquel Bertran, Teodor Rus
Transformation-Based Reactive Systems Development - 4th...
Resumo
Presented in this book are 24 papers selected from those given at an international conference on real-time systems and concurrent and distributed software. Issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Year of publication: 1997
Pagination: 436 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Miquel Bertran, Teodor Rus
Year of publication: 1997
Pagination: 436 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Miquel Bertran, Teodor Rus
Publicidade
Avaliações dos nossos clientes
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 - Paperback - 1997
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Dimensão
-
234 x 156 x 23
- Peso
-
1390
- Tema
-
Software Engineering|Systems analysis & design
- Origem
-
Germany
- EAN
-
9783540630104
Publicidade
Publicidade