Tell your friends about this item:
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 - Lecture Notes in Computer Science Miquel Bertran
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 - Lecture Notes in Computer Science
Miquel Bertran
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.
436 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 7, 1997 |
| ISBN13 | 9783540630104 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 436 |
| Dimensions | 156 × 234 × 23 mm · 625 g |
| Language | German |
| Editor | Bertran, Miquel |
| Editor | Rus, Teodor |