Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer International Publishing AG
SKU: 9783319336923
Price: 441.2 RON
Availability: InStock

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

Autor: Erika Ábrahám, Marieke Huisman

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

441.20 lei

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

Informații despre carte

Autor

Erika Ábrahám, Marieke Huisman

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2016

Pagini

538

EAN

9783319336923

ISBN

3319336924

Enbook ID

02975401

Editura

Springer International Publishing AG

Greutate

8248

Dimensiuni

155 x 235 x 29

Descriere completă

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.§

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Integrated Formal Methods

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și