Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642406140
Price: 255.57 RON
Availability: InStock

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Autor: Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

255.57 lei

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and...

Informații despre carte

Autor

Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2013

Pagini

241

EAN

9783642406140

ISBN

3642406149

Enbook ID

02016940

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

3869

Dimensiuni

155 x 235 x 15

Descriere completă

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 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și