Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Lecture Notes in Computer Science - Elena Giachino - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642406140 - 2013. gada 26. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Lecture Notes in Computer Science 2013 edition

Cena
€ 58,49

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

Paredzamā piegāde . gada 21. aug. - . gada 4. sept.
Saņemiet paziņojumus par jauniem Elena Giachino izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.


250 pages, 125 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2013. gada 26. augusts
ISBN13 9783642406140
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Žanrs Aspects (Academic) > Science / Technology Aspects
Lapas 241
Izmēri 155 × 235 × 13 mm   ·   358 g
Valoda Franču  
Redaktors Bonsangue, Marcello M.
Redaktors De Boer, Frank S.
Redaktors Giachino, Elena
Redaktors Hahnle, Reiner

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