SALE ON NOW! PROMOTIONS

Close Notification

Your cart does not contain any items

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings by Isil Dillig at Abbey's Bookshop,
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018,...
— —
Isil Dillig Jens Palsberg

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings...

Isil Dillig,  Jens Palsberg

$107.95   $86.53

Paperback

Not in-store but you can order this
How long will it take?
English
Springer International Publishing AG
10 January 2018
Software testing & verification
Series: Lecture Notes in Computer Science
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.
Edited by:   ,
Imprint:   Springer International Publishing AG
Country of Publication:   Switzerland
Edition:   1st ed. 2018
Volume:   10747
Dimensions:   Height: 235mm,  Width: 155mm, 
Weight:   848g
ISBN:   9783319737201
ISBN 10:   3319737201
Series:   Lecture Notes in Computer Science
Pages:   540
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Memory Dump Analysis Anthology

Dmitry Vostokov

Paperback

$94.95  $80.78

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Mastering User Surveys

A Guide for UX Designers and Researchers...

William Webb

Paperback

$68.95  $58.30

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

The Book on Testing

For a World that Runs on Software...

Alex Rodov

Hardback

$61.95  $52.82

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Recent Advancements in Software...

Adarsh Anand

Hardback

$120 

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Software Engineering and Formal...

18th International Conference, SEFM...

Frank de Boer

Paperback

$133.95  $107.34

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Software Testing 2020

Preparing for New Roles

Mukesh Sharma

Paperback

$98.99 

Not in-store but you can order this

ADD +