Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer International Publishing AG
SKU: 9783319150741
Price: 15483 HUF
Availability: InStock

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Szerző: Christiano Braga, Narciso Martí-Oliet

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 483 Ft

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

Információk a könyvről

Szerző

Christiano Braga, Narciso Martí-Oliet

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

179

EAN

9783319150741

ISBN

331915074X

Enbook ID

09155898

Kiadó

Springer International Publishing AG

Súly

2993

Méretek

155 x 235 x 9

Teljes leírás

This book constitutes the refereed proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, AL, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.

É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

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. 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