Cargando…
Formal Techniques for Networked and Distributed Systems : FORTE 2001 IFIP TC6/WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems August 28-31, 2001, Cheju Island, Korea /
This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas: Formal Methods in Software Development, Process Algebra, Timed Automata, Theories and Ap...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston, MA :
Springer US,
2002.
|
| Colección: | IFIP International Federation for Information Processing ;
69. |
| Temas: | |
| Acceso en línea: | Texto completo |