Pastāsti draugiem par šo preci:
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering De F S Boer 2005 edition
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering
De F S Boer
The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems.
328 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2005. gada 19. septembris |
| ISBN13 | 9783540291312 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 328 |
| Izmēri | 155 × 235 × 17 mm · 471 g |
| Valoda | Franču |
| Redaktors | Bonsangue, Marcello M. |
| Redaktors | De Boer, Frank S. |
| Redaktors | De Roever, Willem-paul |
| Redaktors | Graf, Susanne |