Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Szerző: Leila Ribeiro, Thierry Lecomte

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

19 342 Ft

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

Információk a könyvről

Szerző

Leila Ribeiro, Thierry Lecomte

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

253

EAN

9783319498140

ISBN

3319498142

Enbook ID

15195023

Kiadó

Springer International Publishing AG

Súly

4044

Méretek

155 x 235 x 16

Teljes leírás

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

É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

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, 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