Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering - Jim Davies - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - keskiviikko 23. maaliskuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

Jim Davies

Hinta
zł 290,90

Tilattu etävarastosta

Arvioitu toimitus ma - ke 2. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.

299 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 23. maaliskuuta 2011
ISBN13 9783642198281
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 291
Mitta 155 × 235 × 18 mm   ·   453 g
Kieli French  
Toimittaja Davies, Jim
Toimittaja Silva, Leila
Toimittaja Simao, Adenilso
Näytä kaikki

Lisää tuotteita Jim Davies

Katso kaikki joka sisältää Jim Davies ( Esim. CD , Paperback Book , Hardcover Book Ja Book )