Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
  • SALE

    In the sale you will find especially cheap items or current promotions.

    To sale
  • Sell instead of buy!

    Want to part with books, CDs, movies or games? Sell everything on momox.com

    To momox
All
    cartcart

    Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Notes in Computer Science, Band 11990)

     
    From Dirk Beyer
    Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Notes in Computer Science, Band 11990)

    Description

    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.

    Product details

    EAN/ISBN:
    9783030393212
    Edition:
    1st ed. 2020
    Medium:
    Paperback
    Number of pages:
    488
    Publication date:
    2020-02-07
    Publisher:
    Springer
    EAN/ISBN:
    9783030393212
    Edition:
    1st ed. 2020
    Medium:
    Paperback
    Number of pages:
    488
    Publication date:
    2020-02-07
    Publisher:
    Springer

    Payment methods

    paypalvisamastercardamexcartebleue

    Shipping

    laposte
    Buy on Amazon
    The edition supplied may vary.
    Currently sold out

    More from Dirk Beyer

    Recommended for you

    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    momox books logo
    Customer Service
    Hotline
    • phone+49 30 488 288 200
    • Monday - Friday: 09.00 - 18.00 hr


    International


    Order safely


    medimops magazine
    About us
    Newsletter
    Special offers, vouchers and much more! Subscribe to the newsletter and get a one-off 10% discount on your next purchase. By subscribing to the newsletter, you consent to your data being used by advertising partners for newsletter tracking and cross-channel advertising purposes in order to provide you with personalized recommendations and advertising. You can revoke your consent at any time with future effect. You can find further information in the data protection declaration.
    Do you want to find out more?
    Secure payment
    paypalvisamastercardamexcartebleue
    Shipping partner
    laposte
    You can also find us here
    • Instagram logo
    • Facebook logo

    © 2024 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.