Fortell venner om denne varen:
Formal Methods in Systems Engineering Peter Ryan
Pris
NOK 509
Bestillingsvarer
Forventes levert 3. - 11. jun
Legg til iMusic ønskeliste
eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 16. juni 1993 |
| ISBN13 | 9783540197515 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 206 |
| Mål | 155 × 235 × 11 mm · 299 g |
| Språk | Tysk |
| Redaktør | Ryan, Peter |
| Redaktør | Sennett, Chris |
