Formal Methods for Model-Driven Engineering

Name: Formal Methods for Model-Driven Engineering
Brand: Springer, Berlin
SKU: 9783642309816
Price: 19305 HUF
Availability: InStock

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

Szerző: Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This book presents tutorial lectures by leading researchers given at the 12th edition of the Interna...

Információk a könyvről

Szerző

Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

439

EAN

9783642309816

ISBN

364230981X

Enbook ID

01661407

Kiadó

Springer, Berlin

Súly

624

Méretek

155 x 235 x 23

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták