Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Brand: Springer International Publishing AG
SKU: 9783319174037
Price: 15442 HUF
Availability: InStock

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Szerző: Shaoying Liu, Zhenhua Duan

Nyelv:

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

Kiadó: Springer International Publishing AG

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

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

15 442 Ft

This book constitutes the refereed proceedings of the 4th International Workshop on Structured Objec...

Információk a könyvről

Szerző

Shaoying Liu, Zhenhua Duan

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

189

EAN

9783319174037

ISBN

3319174037

Enbook ID

09225629

Kiadó

Springer International Publishing AG

Súly

454

Méretek

155 x 235 x 11

Teljes leírás

This book constitutes the refereed proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014.§§The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

É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

Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

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