Store besparelser
Hurtig levering
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
Tjek vores konkurrenters priser

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. 

Tjek vores konkurrenters priser
Normalpris
kr 716
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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. 

Produktdetaljer
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):
Forfatter(e)


Kategori Programmerings- & scriptsprog


ISBN-13 9783319336923


Sprog Engelsk


Indbinding Paperback


Sider 538


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 24 maj 2016


Oplagsdato 24 maj 2016


Forlag Springer International Publishing AG