SALE ON NOW! PROMOTIONS

Close Notification

Your cart does not contain any items

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings by Barbara Jobstmann at Abbey's Bookshop,
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016,...
— —
Barbara Jobstmann K. Rustan M. Leino

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings...

Barbara Jobstmann,  K. Rustan M. Leino

$126.95   $101.37

Paperback

Not in-store but you can order this
How long will it take?
English
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
26 December 2015
Software testing & verification
Series: Theoretical Computer Science and General Issues
This book constitutes the refereed proceedings of the 17th International

Conference on Verification, Model Checking, and Abstract

Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected

from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.
Edited by:   ,
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Publication:   Germany
Edition:   1st ed. 2016
Volume:   9583
Dimensions:   Height: 235mm,  Width: 155mm,  Spine: 29mm
Weight:   866g
ISBN:   9783662491218
ISBN 10:   3662491214
Series:   Theoretical Computer Science and General Issues
Pages:   558
Publication Date:  
Audience:   College/higher education ,  Professional and scholarly ,  Further / Higher Education ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

See Also

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Automated Software Testing

Foundations, Applications and Challenges...

Ajay Kumar Jena

Hardback

$329.95  $263.71

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Unraveling Software Maintenance...

Thinking Outside the Box

Ervin Varga

Paperback

$115.95  $92.71

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

""Careers in Information Technology...

Quality Assurance Analyst""

Patrick Mukosha

Paperback

$31.95  $28.50

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Keyword Spotting System in Speech...

Dr K a Senthil Devi

Paperback

$28.95  $26.45

Not in-store but you can order this

ADD +
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. 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: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Memory Dump Analysis Anthology

Color Supplement for Volumes 6-7...

Dmitry Vostokov

Paperback

$90.95  $77.35

Not in-store but you can order this

ADD +