Code: 01559782

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01559782
Price: 55.93 EUR
Availability: InStock
Author: Jerzy Marcinkowski
ISBN: 9783540230243

by Jerzy Marcinkowski, Andrzej Tarlecki

Language: English
Binding: Paperback
Number of pages: 522
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004
More about this

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Who Was Henry Ford?
5.87 € -25 %
Buy
Ultra Mindset
14.79 € -25 %
Buy
A Light That Never Goes Out
19.25 € -18 %
Buy
Chaos Kings: How Wall Street Traders Make Billions in the New Age of Crisis
31.71 € -25 %
Buy
Life Aboard the RMS Titanic: The Maiden Voyage Before the Sinking of the World's Most Famous Ship
8.20 € -7 %
Buy
Clay Play! Animal Favorites
10.23 € -23 %
Buy
Buenos Aires insólita y secreta / Buenos Aires Unusual and Secret
17.83 € -9 %
Buy
CONTRA EL MITO DEL COLAPSO ECOLOGICO
19.75 € -9 %
Buy
Vom Kommandierenden General zu Hitlers letztem Oberbefehlshaber 1943-1973
12.76 € -15 %
Buy
Computer-Assisted Language Learning
71.34 €
Buy
Production and Operations Management
216.77 €
Buy
LEGO úložná hlava mini - dýně
12.56 € -13 %
Buy
Computer Aided Systems Theory - EUROCAST '89
55.93 €
Buy
When Heaven Fell Silent the Series
23.40 € -2 %
Buy
The Sun Dog Trail: (Jack London Classics Collection)
7.29 € -6 %
Buy
Self-Publishing on Amazon 2017: No Publisher? No Agent? No Problem!
10.63 € -7 %
Buy
Marx, Women, and Capitalist Social Reproduction
37.99 € -20 %
Buy
Littlejohn's Britain
17.12 € -24 %
Buy
Kundenbindungssysteme. Aufkommen, Merkmale, Auspragungen
25.12 € -11 %
Buy
Scattershot: My Bipolar Family
21.48 € -18 %
Buy
Sekrety Mocy Mentalnej Tom 2
9.01 € -12 %
Buy
De gli Eroici Furori
8.10 € -7 %
Buy
Poems And Poetical Fragments (1833)
17.93 €
Buy
Governing Fables
115.93 €
Buy
Guatemala in Focus
22.18 € -12 %
Buy
The Miracles of Our Lord
9.82 € -6 %
Buy
International Directory of Company Histories
549.08 €
Buy
Zum Fragment in der polnischen und russischen Romantik
30.80 € -11 %
Buy
Nonlinear Science: An Interactive Mathematica (TM) Notebook
33.23 € -15 %
Pre-order
La prison, quel(s) droit(s) ? - actes du colloque organisé à Limoges le 7 octobre 2011
27.66 €
Buy
Are We There Yet?: Grandpa's House
9.72 € -7 %
Buy
New Wine In Old Bottles (1862)
24.72 € -2 %
Buy
John Bull on the Guadalquivir
31 € -2 %
Buy
Asynchronous Control for Networked Systems
114.81 €
Buy
5 FINGER MOVIE HEROES
21.07 €
Buy
Diary, Reminiscences, and Correspondence of Henry Crabb Robinson
37.39 € -1 %
Buy
Calculus: Theory And Applications, Volume 1
46.20 €
Buy
Permis d'Exporter Delivres A Rome Vers Le Milieu Du Xvie Siecle
12.15 € -1 %
Buy
Gleichgültigkeit
18.84 € -5 %
Buy
Army Drawdown and Restructuring: Background and Issues for Congress
14.99 € -6 %
Buy
Handsome Monk and Other Stories
25.53 €
Buy
Fabrizio De André. Donne pensate come amore
20.97 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 135 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004.The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

55.93 €

Full title: Computer Science Logic
Subtitle: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Author: Jerzy Marcinkowski, Andrzej Tarlecki
Language: English
Binding: Paperback
Number of pages: 522
EAN: 9783540230243
ISBN: 3540230246
ID: 01559782
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1650 g
Dimensions: 235 × 155 × 29 mm
Date of publishing: 02. September 2004