Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues

Verification, Model Checking, and Abstract Interpretation Theoretical Computer Science and General Issues 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings - Lecture Notes in Computer Science

Paperback (07 Feb 2020)

Save $11.33

  • RRP $95.69
  • $84.36
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. 

    The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 

    Book information

    ISBN: 9783030393212
    Publisher: Springer International Publishing
    Imprint: Springer
    Pub date:
    Language: English
    Number of pages: 471
    Weight: 676g
    Height: 235mm
    Width: 155mm
    Spine width: 25mm

    We recommend

    Add to basket
    Add to basket

    $9.58off

    Add to basket

    $2.49off

    Add to basket

    $7.36off

    Add to basket

    $8.88off

    Cellular Automata

    International Confer...

    Paperback
    Published 02 Sep 2024

    Save $8.88

    • RRP $68.35
    • $59.47
    Add to basket

    $8.46off

    Add to basket

    $1.35off

    Add to basket

    $6.35off

    Add to basket
    Add to basket