Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science - World Congress on Formal Methods in the Development of Computing Systems - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540665885 - 1999. gada 13. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

World Congress on Formal Methods in the Development of Computing Systems
Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

Cena
€ 118,49

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

Paredzamā piegāde . gada 17. sept. - . gada 1. okt.
Saņemiet paziņojumus par jauniem World Congress on Formal Methods in the Development of Computing Systems 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 second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.

942 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1999. gada 13. septembris
ISBN13 9783540665885
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 942
Izmēri 156 × 234 × 48 mm   ·   1,32 kg
Valoda Angļu  
Redaktors Davies, Jim
Redaktors Wing, Jeannette M.
Redaktors Woodcook, Jim

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

Skatīt visus World Congress on Formal Methods in the Development of Computing Systems