Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 16, 1993 |
ISBN13 | 9783540197515 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 206 |
Dimensions | 155 × 235 × 11 mm · 299 g |
Editor | Ryan, Peter |
Editor | Sennett, Chris |
Show all
More by Peter Ryan
See all of Peter Ryan ( e.g. Paperback Book , Hardcover Book , CD and Book )