Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer, Berlin
SKU: 9783642410703
Price: 17650 HUF
Availability: InStock

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Szerző: Juliano Iyoda, Leonardo de Moura

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

17 650 Ft

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SB...

Információk a könyvről

Szerző

Juliano Iyoda, Leonardo de Moura

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2013

oldal

243

EAN

9783642410703

ISBN

3642410707

Enbook ID

02081960

Kiadó

Springer, Berlin

Súly

397

Méretek

155 x 236 x 16

Teljes leírás

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013.§The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. 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