Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 20. maijs |
| ISBN13 | 9783642130090 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 189 |
| Izmēri | 160 × 234 × 13 mm · 317 g |
| Redaktors | Muller, Peter |
Vairāk no Peter Muller
Rādīt visuSkatīt visus Peter Muller ( piem., Paperback Book , Hardcover Book , Book un CD )