Model Checking Software: 15Th International Spin Workshop Los Angeles Ca Usa August 10-12 2008 Proceedings at Meripustak

Model Checking Software: 15Th International Spin Workshop Los Angeles Ca Usa August 10-12 2008 Proceedings

Books from same Author: Havelund K. MajumdarR.

Books from same Publisher: Springer

Related Category: Author List / Publisher List


  • Retail Price: ₹ 7327/- [ 5.00% off ]

    Seller Price: ₹ 6960

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 5.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 5.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available



Click for International Orders
  • Provide Fastest Delivery

  • 100% Original Guaranteed
  • General Information  
    Author(s)Havelund K. MajumdarR.
    PublisherSpringer
    EditionEdition Statement 2008 ed.
    ISBN9783540851134
    Pages343
    BindingPaperback
    LanguageEnglish
    Publish YearOctober 2008

    Description

    Springer Model Checking Software: 15Th International Spin Workshop Los Angeles Ca Usa August 10-12 2008 Proceedings by Havelund K. MajumdarR.

    This Book Constitutes The Refereed Proceedings Of The 15Th International Spin Workshop On Model Checking Software Spin 2008 Held In Los Angeles Ca Usa In August 2008. The 17 Revised Full Papers Presented Together With 1 Tool Paper And 4 Invited Talks Were Carefully Reviewed And Selected From 41 Submissions. The Main Focus Of The Workshop Series Is Software Systems Including Models And Programs. The Papers Cover Theoretical And Algorithmic Foundations As Well As Tools For Software Model Checking And Foster Interactions And Exchanges Of Ideas With Related Areas In Software Engineering Such As Static Analysis Dynamic Analysis And Testing.Show More