Conte aos seus amigos sobre este item:
SAFECOMP '93: The 12th International Conference on Computer Safety, Reliability and Security Janusz Gorski Softcover reprint of the original 1st ed. 1993 edition
SAFECOMP '93: The 12th International Conference on Computer Safety, Reliability and Security
Janusz Gorski
The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech nology, computer languages for safety related systems, reactive systems technology, security and safety related applications.
404 pages, 4 black & white illustrations
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 25 de outubro de 1993 |
| ISBN13 | 9783540198383 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 389 |
| Dimensões | 155 × 235 × 21 mm · 571 g |
| Idioma | Alemão |
| Editor | Gorski, Janusz |