Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Model Checking and Artificial Intelligence Lecture Notes in Artificial Intelligence

Model Checking and Artificial Intelligence Lecture Notes in Artificial Intelligence 4th Workshop, MoChArt IV, Riva Del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science

2007

Paperback (09 Aug 2007)

Save $5.81

  • RRP $61.06
  • $55.25
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.

    Book information

    ISBN: 9783540741275
    Publisher: Springer Berlin Heidelberg
    Imprint: Springer
    Pub date:
    Edition: 2007
    Language: English
    Number of pages: 185
    Weight: 640g
    Height: 234mm
    Width: 156mm
    Spine width: 10mm

    We recommend

    Add to basket
    Add to basket

    $1.71off

    Superintelligence

    Nick Bostrom

    Paperback
    Published 14 Apr 2016

    Save $1.71

    • RRP $16.95
    • $15.24
    Add to basket

    $1.36off

    The Maniac

    Benjamín Labatut

    Paperback
    Published 04 Jul 2024

    Save $1.36

    • RRP $14.92
    • $13.56
    Add to basket
    Add to basket
    Add to basket

    $24.51off

    Add to basket
    Add to basket

    $27.55off

    Add to basket
    Add to basket