Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... 7320 (Lecture Notes in Computer Science) - Tapa blanda

9783642309816: Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... 7320 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 364230981X ISBN 13: 9783642309816

Editorial: Springer, 2012

Ver todas las copias de esta edici�n del ISBN

This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.

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

De la contraportada

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.

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

EditorialSpringer
A�o de publicaci�n2012
ISBN 10 364230981X
ISBN 13 9783642309816
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas448
EditorBernardo Marco, Cortellessa Vittorio, Pierantonio Alfonso
Contacto del fabricanteno disponible

Comprar nuevo

Ver este art�culo

EUR 53,49

Convertir moneda

EUR 11,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Formal Methods for Model-Driven Engineering: 12th Internatio...

Imagen del vendedor

Formal Methods for Model-Driven Engineering

Marco Bernardo

Publicado por Springer Berlin Heidelberg Jun 2012, 2012

ISBN 10: 364230981X ISBN 13: 9783642309816

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 -This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management. 448 pp. Englisch. N� de ref. del art�culo: 9783642309816

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Marco Bernardo

Publicado por Springer Berlin Heidelberg, 2012

ISBN 10: 364230981X ISBN 13: 9783642309816

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management. N� de ref. del art�culo: 9783642309816

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 7320)

Publicado por Springer, 2012

ISBN 10: 364230981X ISBN 13: 9783642309816

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: ria9783642309816_new

Contactar al vendedor

Comprar nuevo

EUR 62,28

Convertir moneda

Gastos de env�o: EUR 4,74

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Formal Methods for Model-Driven Engineering

Bernardo, Marco|Cortellessa, Vittorio|Pierantonio, Alfonso

Publicado por Springer Berlin Heidelberg, 2012

ISBN 10: 364230981X ISBN 13: 9783642309816

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Made for students, researchers, and practitioners Original, readable, and useful lecture notes Thoroughly revised tutorialsThis book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International. N� de ref. del art�culo: 5056429

Contactar al vendedor