Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 19. septembra 2005 |
| ISBN13 | 9783540291312 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 328 |
| Dimenzije | 155 × 235 × 17 mm · 471 g |
| Jezik | Francoščina |
| Urednik | Bonsangue, Marcello M. |
| Urednik | De Boer, Frank S. |
| Urednik | De Roever, Willem-paul |
| Urednik | Graf, Susanne |