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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540291312 - 2005. gada 19. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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
€ 64,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 24. aug.
Saņemiet paziņojumus par jauniem De F S Boer izdevumiem
Pievienot savam iMusic vēlmju sarakstam

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

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

Vairāk no tā paša izdevēja

Skatīt visus De F S Boer ( piem., Paperback Book )