FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings - Lecture Notes in Computer Science - James C P Woodcock - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540566625 - 1993. gada 6. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

James C P Woodcock
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings - Lecture Notes in Computer Science 1993 edition

Cena
€ 103,49

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

Paredzamā piegāde . gada 26. nov. - . gada 4. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem James C P Woodcock izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design.

695 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 6. aprīlis
ISBN13 9783540566625
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 695
Izmēri 155 × 233 × 36 mm   ·   979 g
Valoda Vācu  
Redaktors Larsen, Peter G.
Redaktors Woodcock, James C.P.

Vairāk no tā paša izdevēja

Skatīt visus James C P Woodcock