Leveraging Applications of Formal Methods, Verification and Validation

Name: Leveraging Applications of Formal Methods, Verification and Validation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540884781
Price: 54238 HUF
Availability: InStock

Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Szerző: Tiziana Margaria

Nyelv:

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

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

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

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

54 238 Ft

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Le...

Információk a könyvről

Szerző

Tiziana Margaria

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

869

EAN

9783540884781

ISBN

3540884785

Enbook ID

04446441

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

1329

Méretek

155 x 235 x 48

Teljes leírás

This book constitutes the thoroughly refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008§The 68 revised full papers presented together with 2 invited talks and 1 keynote speech were carefully selected from numerous submissions. The topics covered are tools and applications in industrial software quality control; an introduction of multi-core systems in automotive applications; model-driven SOA; applications of formal approaches to service-oriented computing; trustworthy computing: theories, methods, tools and experience in China and South East Asia; non-functional requirements in embedded systems; processes, methods and tools for developing educational modules to support teaching and technology transfer; ubiquitous and context aware systems; formal methods for analysing and verifying very large systems; tools for service-oriented discovery of knowledge; tackling the challenges of software development process for SMEs with rigorous support and open source.

É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

Leveraging Applications of Formal Methods, Verification and Validation

Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

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