Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Model Checking and Artificial Intelligence

Name: Model Checking and Artificial Intelligence
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01649377
Price: 21311 HUF
Availability: InStock
Author: Doron A. Peled
ISBN: 9783642004308

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Doron A. Peled

Michael Wooldridge

Language

English

Book Paperback

Libristo code: 01649377

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2009

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model... Full description

Libristo code: 01649377

145 b

21 311 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Kolloidchemie Des Protoplasmas Vladimir Vasil evich Lepeshkin

Paperback

20 447 Ft

Economia dos Emirados Árabes Unidos IV? Kushnir

Paperback

3 328 Ft

Patologias concomitantes en el embarazo Helen Baston

Adobe ePub DRM

5 015 Ft

Obras selectas Platón Platón

Hardback

3 591 Ft

Wo bist du, kleiner Osterhase? Sylvia Tress

Board book

2 856 Ft

Брiджертони. Книга 5. Серовi Фiллiпу з любов'ю Julia Quinn

Hardback

3 490 Ft

Ladungssicherung im intermodalen Verkehr Rüdiger Rohland

Paperback

10 977 Ft

Quantenmechanik IV Tennert

Paperback

12 077 Ft

Innan juldagsmorgon glimmar Hanna Christenson

Adobe ePub DRM

1 641 Ft

LESEZUG/Klassiker: Robinson Crusoe Lisa Gallauner

Adobe ePub DRM

3 120 Ft

C'est ça les vacances ? fremder

binding.

8 546 Ft

Regardez-moi Anita Brookner

Paperback

8 546 Ft

J'écris en grec ancien Guillaume Diana

Paperback

4 456 Ft

LP-NVI BIBLIA ESTUDIO 2022 CAFE LEATHERS NUEVA VERSION INTERNACIONAL

Hardback

24 066 Ft

Der Herr der Ringe: Das Kartenspiel Die zwei Türme Nate French

Game

29 825 Ft

Kwatro Gene Mackles

Game

3 032 Ft

Slovensko 1:500 000

Map

1 627 Ft

Homo faber Max Frisch

Paperback

3 545 Ft

Bibelgriechisch leicht gemacht, Lösungsbuch Werner Stoy

Sheet

3 429 Ft

Napoleon I. - Tagebuch Von St. Helena Emmanuel A. D. de Las Casas

Paperback

13 833 Ft

Now That We're Human Michael Badal

Audio CD

5 542 Ft

Persona normal BENITO TAIBO

Paperback

7 635 Ft

Oeuvres Completes Du Chancelier Tome 7 D Aguesseau-H-F

Paperback

14 527 Ft

Jumping Fitness 2: cardio & circuit Antonia Westphal

DVD

8 162 Ft

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence.§The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.