Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Programming and Software Engineering) - Tapa blanda

9783642358869: Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Programming and Software Engineering)

Tapa blanda

ISBN 10: 3642358861 ISBN 13: 9783642358869

Editorial: Springer, 2013

Ver todas las copias de esta edici�n del ISBN

4 Usado

De EUR 115,57

14 Nuevo

De EUR 52,64

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

De la contraportada

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2013
Idioma: Ingl�s
ISBN 10: 3642358861
ISBN 13: 9783642358869
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 368
Editor: Beckert Bernhard, Damiani Ferruccio, De Boer Frank S., Bonsangue Marcello M.
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar usado

Condici�n: Como Nuevo

Unread book in perfect condition...

Ver este art�culo

EUR 115,57

Convertir moneda

EUR 17,18 gastos de env�o desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 52,64

Convertir moneda

EUR 3,42 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Formal Methods for Components and Objects: 10th Internationa...

Imagen de archivo

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)

Publicado por Springer, 2013

ISBN 10: 3642358861 ISBN 13: 9783642358869

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020225047

Contactar al vendedor

Comprar nuevo

EUR 52,64

Convertir moneda

Gastos de env�o: EUR 3,42

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)

Publicado por Springer, 2013

ISBN 10: 3642358861 ISBN 13: 9783642358869

Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 19189615-n

Contactar al vendedor

Comprar nuevo

EUR 53,82

Convertir moneda

Gastos de env�o: EUR 2,27

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)

Publicado por Springer, 2013

ISBN 10: 3642358861 ISBN 13: 9783642358869

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783642358869_new

Contactar al vendedor

Comprar nuevo

EUR 59,93

Convertir moneda

Gastos de env�o: EUR 13,72

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science)

Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert

Publicado por Springer 2013-01-03, 2013

ISBN 10: 3642358861 ISBN 13: 9783642358869

Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

Paperback. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783642358869

Contactar al vendedor

Comprar nuevo

EUR 56,37

Convertir moneda

Gastos de env�o: EUR 17,74

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)

Publicado por Springer, 2013

ISBN 10: 3642358861 ISBN 13: 9783642358869

Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 19189615-n

Contactar al vendedor

Comprar nuevo

EUR 59,30

Convertir moneda

Gastos de env�o: EUR 17,18

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Components and Objects

Bernhard Beckert

Publicado por Springer Berlin Heidelberg Jan 2013, 2013

ISBN 10: 3642358861 ISBN 13: 9783642358869

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems. 368 pp. Englisch. N� de ref. del art�culo: 9783642358869

Contactar al vendedor