Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science - International Symposium of Formal Methods - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540585558 - 1994. gada 12. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

International Symposium of Formal Methods
Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 1994 Edition

Cena
€ 103,49

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

Paredzamā piegāde . gada 3. - 11. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem International Symposium of Formal Methods 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

This volume of conference proceedings contains discussion of process modelling, model checking, real-time aspects, refinement proof and the specification of programming languages. Industrial usage reports describe experiences in a variety of areas, including railway signalling.

732 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1994. gada 12. oktobris
ISBN13 9783540585558
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 732
Izmēri 156 × 234 × 37 mm   ·   1,03 kg
Valoda Angļu  
Redaktors Bertran, Miquel
Redaktors Denvir, Tim
Redaktors Naftalin, Maurice

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

Skatīt visus International Symposium of Formal Methods