Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - 20 maja 2010
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Otrzymuj powiadomienia o nowych wydawnictwach Peter Muller

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 20 maja 2010
ISBN13 9783642130090
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 189
Wymiary 160 × 234 × 13 mm   ·   317 g
Redaktor Muller, Peter

Więcej od Peter Muller

Pokaż wszystko

Więcej od tego samego wydawcy

Zobacz wszystko od Peter Muller