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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569227
Price: 107.29 EUR
Availability: InStock
Author: Jacques Duparc
ISBN: 9783540749141

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc

Thomas A. Henzinger

Language

English

Book Paperback

Libristo code: 01569227

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2007

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Full description

Libristo code: 01569227

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

La caida Dan Simmons

Paperback

19.39 €

Come funziona il caos. Dal moto dei pianeti all'effetto farfalla Ivar Ekeland

Paperback

13.59 €

Legie plamenů Anthony Ryan

Hardback

16.79 €

Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller

Paperback

37.29 €

C'est l'heure du bain, petit lion Gomi

Paperback

17.09 €

MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ

Paperback

28.29 €

Полезные машины Елена Хомич

Hardback

34.49 €

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.