Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - 20 mei 2010
Indien omslag en titel niet overeenkomen, is de titel correct

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

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 20 mei 2010
ISBN13 9783642130090
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 189
Afmetingen 160 × 234 × 13 mm   ·   317 g
Uitgever Muller, Peter

Meer door Peter Muller

Alles tonen

Bekijk alles van Peter Muller ( bijv. Paperback Book , Hardcover Book , Book en CD )