Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319336923
Price: 30917 HUF
Availability: InStock

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Szerző: Erika Ábrahám, Marieke Huisman

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

30 917 Ft

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo...

Információk a könyvről

Szerző

Erika Ábrahám, Marieke Huisman

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2016

oldal

538

EAN

9783319336923

ISBN

3319336924

Enbook ID

02975401

Kiadó

Springer International Publishing AG

Súly

8248

Méretek

155 x 235 x 29

Teljes leírás

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

É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

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 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