Edmund M Clarke
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science Edmund M Clarke

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Edmund M Clarke

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 21. sept.

Saņemiet paziņojumus par jauniem Edmund M Clarke izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science

Edmund M Clarke

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.

527 pages, 67 black & white illustrations, 4 colour illustrations, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2011. gada 4. janvāris
ISBN13	9783642175107
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	517
Izmēri	155 × 236 × 28 mm · 791 g
Valoda	Vācu
Redaktors	Clarke, Edmund M., Jr.
Redaktors	Voronkov, Andrei