Click here to login

My Account

search

MenuClose

Best Sellers
Books
- - Genres
Films
- - Genres
Music
- - Genres
    - Blues
    - Cajun
    - Children's
    - Classical
    - Comedy
    - Country
    - Dance
    - Easy Listening
    - Folk
    - General
    - Gospel/Christian
    - Import
    - Jazz
    - Metal
    - New Age
    - Other
    - R&B/Soul
    - Rap/Hip Hop
    - Reggae
    - Rock and Roll
    - Rock/Pop
    - Soundtracks
    - Spoken Word
    - World Music
Contact Us

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings, PDF eBook

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings PDF

Edited by Corina S Pasareanu

Part of the Lecture Notes in Computer Science series

PDF

Download Now

Description
Information
Other Formats

Information

Download Now
Format:PDF
Publisher:Springer Berlin Heidelberg
Publication Date:26/06/2009
Category:
- Software Engineering
- Software testing & verification
ISBN:9783642026522

Save 15%

£44.99

£38.24

Download Now

Add to Basket

Sign in to add to wishlist

Information

Download Now
Format:PDF
Publisher:Springer Berlin Heidelberg
Publication Date:26/06/2009
Category:
- Software Engineering
- Software testing & verification
ISBN:9783642026522

Also in the Lecture Notes in Computer Science series

Information Security Practice and Experience : 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Information Security Practice and Experience

Weizhi Meng

£79.50

£67.58

Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part II

Euro-Par 2023: Parallel Processing Workshops

Demetris Zeinalipour

£49.99

£37.08

Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part II

Euro-Par 2023: Parallel Processing Workshops

Demetris Zeinalipour

£49.99

£42.49

Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I

Euro-Par 2023: Parallel Processing Workshops

Demetris Zeinalipour

£59.99

£50.99