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 - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540291312 - 19. septembra 2005
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering 2005 edition

Cena
€ 61,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 26. okt - 9. nov
Prejemajte obvestila o novih izdajah izvajalca De F S Boer
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Več od istega **izdajatelja**