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

Do you have a profile? Prihlásiť sa

Naši zákazníci hovoria:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

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

Peter Muller

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

Médium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	20. mája 2010
ISBN13	9783642130090
Vydavatelia	Springer-Verlag Berlin and Heidelberg Gm
Strany	189
Rozmery	160 × 234 × 13 mm · 317 g
Editor	Muller, Peter