Isil Dillig - Böcker
Visar alla böcker från författaren Isil Dillig. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
810 kr
Skickas inom 5-8 vardagar
866 kr
Skickas inom 5-8 vardagar
866 kr
Skickas inom 5-8 vardagar
922 kr
Skickas inom 5-8 vardagar
Del 11561 - Lecture Notes in Computer Science
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Häftad, Engelska, 2019
554 kr
Skickas inom 10-15 vardagar
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;
Del 11562 - Lecture Notes in Computer Science
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Häftad, Engelska, 2019
554 kr
Skickas inom 10-15 vardagar
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;
Del 10747 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Häftad, Engelska, 2018
554 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.