• -10% COMPUTER AIDED VERIFICATION: 20TH INTERNATIONAL CONFERENCE, CAV 2008 PRINCETON, NJ, USA, JULY 7-14, 2008, PROCEEDINGS: 5123 (Theoretical Computer Science and General Issues)

    COMPUTER AIDED VERIFICATION: 20TH INTERNATIONAL CONFERENCE, CAV 2008 PRINCETON, NJ, USA, JULY 7-14, 2008, PROCEEDINGS: 5123 (Theoretical Computer Science and General Issues)

    0

    Explore cutting-edge research in formal methods with the proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008). Held in Princeton, NJ, this volume showcases 33 revised full papers, 14 tool papers, and 2 invited talks from leading experts in the field. Discover advancements in concurrency, memory consistency, abstraction, hybrid systems, dynamic verification, modeling, specification formalisms, decision procedures, program verification, security analysis, hardware verification, model checking, and space-efficient algorithms. A must-have resource for researchers and practitioners in theoretical computer science and automated verification, published by Springer.

    Original price was: ₹10,453.95.Current price is: ₹9,408.56.
    Add to cart
  • -20% Transparency in Global Environmental Governance: Critical Perspectives

    Transparency in Global Environmental Governance: Critical Perspectives

    0

    Explore the complex role of transparency in global environmental governance with “Transparency in Global Environmental Governance: Critical Perspectives.” This essential read critically examines whether increased openness and information availability truly transform international environmental efforts or serve a more limited purpose. Delving into diverse case studies from climate change to biodiversity and resource exploitation, the book investigates both state-led mandatory initiatives and voluntary private partnerships. Discover how “governance by disclosure” functions in real-world scenarios, from the Carbon Disclosure Project to the Forest Stewardship Council. “Transparency in Global Environmental Governance” provides crucial insights into the efficacy and limitations of transparency, offering a nuanced perspective for understanding its potential to foster a new emancipatory politics in our interconnected world. Essential for academics and practitioners in environmental studies and international relations.

    Original price was: ₹2,492.00.Current price is: ₹1,993.60.
    Add to cart