Conte aos seus amigos sobre este item:
Formal Methods in Systems Engineering Peter Ryan
Formal Methods in Systems Engineering
Peter Ryan
This volume contains the proceedings of the Formal Methods Workshop, held in Drymen, Scotland, in September 1991. It concentrated on the themes of quality assurance, design methods and mathematical modelling techniques. Particular emphasis was given to safety and security applications.
206 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 16 de junho de 1993 |
| ISBN13 | 9783540197515 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 206 |
| Dimensões | 155 × 235 × 11 mm · 299 g |
| Idioma | Alemão |
| Editor | Ryan, Peter |
| Editor | Sennett, Chris |
Mais por Peter Ryan
Mostrar tudoVer tudo de Peter Ryan ( por exemplo Paperback Book , Hardcover Book , CD e Book )