Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue - Formal Methods for Components and Objects

Omschrijving

The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;
€ 70,20
Paperback
 
In de winkelwagen 16 werkdagen Wenslijst Stel een vraag
In de winkelwagen 16 werkdagen Wenslijst Stel een vraag
Verzending naar België voor
€ 3,95 per bestelling
Schrijver
Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
Titel
Formal Methods for Components and Objects
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Jaar
2011
Taal
Engels
Pagina's
393
Gewicht
607 gr
EAN
9783642252709
Afmetingen
239 x 157 x 25 mm
Bindwijze
Paperback

U ontvangt bij ons altijd de laatste druk!

Rubrieken

Studieboeken
Kunst
Wijnen
Informatica
Eten en drinken
Sport
Reizen
Oorlog
Streekromans
Strips
Gezondheid
Bijbels
Novelle
Politiek
Fietsen
Muziek
Zwangerschap
Solliciteren
Alle categorieën
Boekstra