Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logics of Programs

Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Language EnglishEnglish
Book Paperback
Book Logics of Programs E. Clarke
Libristo code: 01557990
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 128 b
18 838 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Politische Theorie der Gegenwart in achtzehn Modellen Walter Reese-Schäfer / Book Hardback
common.buy 12 143 Ft
Zimování Katherine Mayová / Book Hardback
common.buy 4 457 Ft
Virando O Jogo: Hacks e códigos de uma vida extraordinária Elias Neto / Book Paperback
common.buy 4 220 Ft
Die steuerlichen Grundrechte in der jüngeren deutschen Verfassungsgeschichte. Klaus Oechsle / Book Paperback
common.buy 26 617 Ft
TUMORES MALIGNOS DE RODILLA. PERSPECTIVAS QUIRURGICAS ACTUALES TRIGUEROS RENTERO / Book Paperback
common.buy 7 733 Ft
Pièces mythologiques 8/12 ans Jean-Dominique Bouvot / Book Paperback
common.buy 8 896 Ft
De l'assistance des classes rurales au 19e si?cle Leon Lallemand / Book Hardback
common.buy 12 171 Ft
Europaische Krieg John W. Burgess / Book Paperback
common.buy 14 604 Ft
Rolle der nationalen Parlamente in der europaischen Integration vom EGKSV bis zum Vertrag von Lissabon Juliane Twieg / Book Paperback
common.buy 6 314 Ft
Le Moulin Sur La Floss. Tome 1 ELIOT-G / Book Paperback
common.buy 9 031 Ft
Les Mille Et Une Nuits: Contes Arabes Choisis Pour La Jeunesse Sans Auteur / Book Paperback
common.buy 9 663 Ft
Římské ozvěny Marek Šula / Book Hardback
common.buy 2 405 Ft
6 Lieder ohne Worte / Printed items Sheet music
common.buy 4 043 Ft
Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logics of Programs
Author E. Clarke, D. Kozen
Language English
Binding Book - Paperback
Number of pages 531
EAN 9783540128960
ISBN 3540128964
Libristo code 01557990
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1650
Dimensions 155 x 235 x 29

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Pattern Recognition in Bioinformatics Jagath C.- Rajapakse / Book Paperback
common.buy 20 034 Ft
Stalking Love Johnny Ray / Book Paperback
common.buy 6 062 Ft
Baseball Legends REEVES SCOTT / Book Hardback
common.buy 9 086 Ft
Narratives of Motherhood and Mothering in Fiction and Life Writing Helena Wahlström Henriksson / Book Paperback
common.buy 16 526 Ft
Instant Japanese Boye Lafayette De Mente / E-book Adobe ePub DRM
common.buy 2 861 Ft
Libra 2020: Your Personal Horoscope Joseph Polansky / E-book Adobe ePub DRM
common.buy 2 480 Ft
Affordable
Thriving as an Empath Orloff / Book Paperback
common.buy 3 764 Ft
Spectroscopy of Quarkonium Systems Ahmed Gamal / Book Paperback
common.buy 26 748 Ft
Using Positive Psychology Every Day Ernst Bohlmeijer / Book Paperback
common.buy 10 743 Ft
Why Global Health Matters Various / Book Paperback
common.buy 10 933 Ft
The Brutus Conspiracy Garry Richard Lane / Book Paperback
common.buy 6 076 Ft
Fat Don Kulick / Book Paperback
common.buy 5 458 Ft
Elizabeth Costello J M Coetzee / Book Paperback
common.buy 7 951 Ft
Educational Review, Volume 7 Anonymous / Book Hardback
common.buy 15 446 Ft
Critical Issues in Organizational Development Homer H. Johnson / Book Hardback
common.buy 46 046 Ft
A SUMMARY OF RESEARCHES IN SOUND: CONDUC JOSEPH HENRY / Book Paperback
common.buy 7 807 Ft
Critical Issues for the Development of Sustainable E-health Solutions Nilmini Wickramasinghe / Book Hardback
common.buy 79 787 Ft
Victorian Literature and Postcolonial Studies Jeffrey A Bell / Book Paperback
common.buy 14 651 Ft
Pack Louise Monaghan / Book Paperback
common.buy 5 695 Ft
International Human Resource Management Michael Dickmann / Book Paperback
common.buy 32 326 Ft
Ibsen Michael Goldman / Book Paperback
common.buy 13 530 Ft
Works of Samuel Johnson, LL.D. Samuel JohnsonJohn Hawkins / Book Paperback
common.buy 17 777 Ft
Cambridge Handbook of Engineering Education Research Aditya JohriBarbara M. Olds / Book Hardback
common.buy 58 292 Ft
Economics of Mobile Telecommunications Harald Gruber / Book Hardback
common.buy 52 658 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?