Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering - Michael Johnson - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540356332 - tiistai 27. kesäkuuta 2006
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Michael Johnson

Hinta
€ 68,99

Tilattu etävarastosta

Arvioitu toimitus pe - ti 13. - 24. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Programming and Software Engineering 2006 edition

Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

392 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 27. kesäkuuta 2006
ISBN13 9783540356332
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 392
Mitta 155 × 235 × 21 mm   ·   566 g
Kieli German  
Toimittaja Johnson, Michael
Toimittaja Vene, Varmo
Näytä kaikki

Lisää tuotteita Michael Johnson

Muutkin ovat ostaneet

Katso kaikki joka sisältää Michael Johnson ( Esim. Paperback Book , CD , Hardcover Book , Book Ja Sheet music )