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

    Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science, 4218, Band 4218)

     
    From Susanne Graf
    Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science, 4218, Band 4218)

    Description

    This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

    The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

    Product details

    EAN/ISBN:
    9783540472377
    Edition:
    2006
    Format:
    Illustriert
    Medium:
    Paperback
    Number of pages:
    560
    Publication date:
    2008-06-13
    Publisher:
    Springer
    Manufacturer:
    Unknown
    Show more
    EAN/ISBN:
    9783540472377
    Edition:
    2006
    Format:
    Illustriert
    Medium:
    Paperback
    Number of pages:
    560
    Publication date:
    2008-06-13
    Publisher:
    Springer
    Manufacturer:
    Unknown

    Shipping

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

    More from Susanne Graf

    momox books logo
    Customer Service
    Hotline
    • +49 30 488 288 200+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
    • facebook

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