We have over a million books in stock

Bookbot
The book is currently out of stock

Leveraging applications of formal methods, verification and validation

Authors

    Parameters

    ISBN
    9783662452301
    Publisher
    Springer

    Categories

    Book variant

    2014

    Book purchase

    The book is currently out of stock.