Povej prijatelju o tem izdelku:
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering Peter Muller
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
| 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 vseMere med samme udgiver
Ogled vseh Peter Muller ( Na primer Paperback Book , Hardcover Book , Book in CD )