Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - torstai 20. toukokuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering

Peter Muller

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

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

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering

Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

196 pages, 99 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 20. toukokuuta 2010
ISBN13 9783642130090
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 189
Mitta 160 × 234 × 13 mm   ·   317 g
Toimittaja Muller, Peter
Näytä kaikki

Lisää tuotteita Peter Muller

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