Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - 20. maja 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 20. maja 2010
ISBN13 9783642130090
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 189
Dimenzije 160 × 234 × 13 mm   ·   317 g
Urednik Muller, Peter

Več od Peter Muller

Prikaži vse

Mere med samme udgiver

Ogled vseh Peter Muller ( Na primer Paperback Book , Hardcover Book , Book in CD )