Book PDf: Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Download Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Author: David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.)

ISBN: 9783642152047

Publisher: Springer-Verlag Berlin Heidelberg

Year: 2010

Publisher Edition (Original Quality)

Save

User Rating: (0.0):

File Size

2.06 MB

Pages

560.0

Price: 6.99€

Description

Introduction to the book Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings The book Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings through the Cyber Uni website.

Best Selling Books
CONCUR 2005 –...
CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005,...
Author:

Dawson Engler (auth.),...

Year:

2005

Sustainable Design: HCI,...
Sustainable Design: HCI, Usability and Environmental Concerns
Author:

Tomayess Issa, Pedro...

Year:

2022

Green IT For...
Green IT For Dummies (hp)
Author:

By David Tebbutt,...

Year:

2009