Fm 99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science - Jeannette M Wing - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540665878 - maanantai 13. syyskuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Jeannette M Wing

Hinta
€ 115,49

Tilattu etävarastosta

Arvioitu toimitus ti 23. syys - to 2. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

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

The first of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topics covered include software architecture, telecommunications, security, object-orientation, model checking, the B method, and composition and synthesis.

976 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 13. syyskuuta 1999
ISBN13 9783540665878
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 976
Mitta 156 × 234 × 48 mm   ·   1,32 kg
Kieli French  
Toimittaja Davies, Jim
Toimittaja Wing, Jeannette M.
Toimittaja Woodcook, Jim

Katso kaikki joka sisältää Jeannette M Wing ( Esim. Paperback Book )