Formal Methods in Systems Engineering - Peter Ryan - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540197515 - 1993. gada 16. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Methods in Systems Engineering

Cena
€ 52,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 4. - 12. jūn.
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 16. jūnijs
ISBN13 9783540197515
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 206
Izmēri 155 × 235 × 11 mm   ·   299 g
Valoda Vācu  
Redaktors Ryan, Peter
Redaktors Sennett, Chris

Vairāk no Peter Ryan

Rādīt visu