Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Integrated Formal Methods
- 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Engelsk Paperback

Integrated Formal Methods

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

633 kr
Tilføj til kurv
Sikker betaling
23 - 25 hverdage

Om denne bog

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions; program verification; probabilistic systems; concurrency; safetyand liveness; model learning; SAT and SMT solving; testing; theorem proving andconstraint satisfaction; case studies. 

Product detaljer
Sprog:
Engelsk
Sider:
538
ISBN-13:
9783319336923
Indbinding:
Paperback
Udgave:
ISBN-10:
3319336924
Udg. Dato:
24 maj 2016
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
24 maj 2016
Forfatter(e):
Finder produkter...
Kategori sammenhænge