Formal Methods: Foundations and Applications

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

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

Autor: Christiano Braga, Narciso Martí-Oliet

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer International Publishing AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

40.07 €

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

Informácie o knihe

Autor

Christiano Braga, Narciso Martí-Oliet

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2015

Stránok

179

EAN

9783319150741

ISBN

331915074X

Enbook ID

09155898

Vydavateľ

Springer International Publishing AG

Hmotnosť

2993

Rozmery

155 x 235 x 9

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods: Foundations and Applications

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež