Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642250316
Price: 22932 HUF
Availability: InStock

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Szerző: Adenilso Simao, Carroll Morgan

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 10-18 napon belül

22 932 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp...

Információk a könyvről

Szerző

Adenilso Simao, Carroll Morgan

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

205

EAN

9783642250316

ISBN

3642250319

Enbook ID

01659166

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

338

Méretek

155 x 235 x 15

Teljes leírás

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

É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: Foundations and Applications

14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, 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