Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - 20. maj 2010
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Få en e-mail når varen bliver tilgængelig
Har du en konto? Log ind
Modtag notifikation om nye Peter Muller udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 20. maj 2010
ISBN13 9783642130090
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 189
Mål 160 × 234 × 13 mm   ·   317 g
Klipper/redaktør Muller, Peter

Mere med Peter Muller

Vis alle

Mere med samme udgiver

Se alt med Peter Muller