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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Types for Proofs and Programs

International Workshop, TYPES '95, Torino, Italy, June 5-8, 1995. Selected Papers

Language EnglishEnglish
Book Paperback
Book Types for Proofs and Programs Stefano Berardi
Libristo code: 05274627
Publishers Springer, Berlin, November 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Full description
? points 136 b
19 870 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 6 336 Ft
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 13 022 Ft
Zadní pokoj Jorn Lier Horst / Book Hardback
common.buy 5 136 Ft
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Book Paperback
common.buy 10 244 Ft
Vive l'Europe ! Bizet Book Paperback
common.buy 5 939 Ft
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Book Paperback
common.buy 4 771 Ft
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Game/Toy Game
common.buy 4 785 Ft
AUTOFAGIA VENTURA MEDINA / Book Paperback
common.buy 9 436 Ft
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Book Paperback
common.buy 12 436 Ft
Brainstorming Andrea Windolph / Book Paperback
common.buy 3 512 Ft
Weidenrute und Schwert Gerwalt Richardson / Book Paperback
common.buy 4 960 Ft
Leiden unsers Herren Jesu Christi Johannes Brassart / Book Paperback
common.buy 7 637 Ft
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Book Paperback
common.buy 5 574 Ft
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Book Paperback
common.buy 15 541 Ft
Ludwig II. Christine Tauber / Book Hardback
common.buy 3 848 Ft
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Book Paperback
common.buy 6 659 Ft
Artesanias María Leonor Aguilar García / Book Paperback
common.buy 10 069 Ft
Musikgeschichte(n) HANS BA LER / Book binding.
common.buy 12 131 Ft
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Book Paperback
common.buy 17 240 Ft
Die Herren von Greifenklau Karl May / Book Hardback
common.buy 9 746 Ft

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

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 Types for Proofs and Programs
Author Stefano Berardi, Mario Coppo
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 298
EAN 9783540617808
ISBN 3540617809
Libristo code 05274627
Publishers Springer, Berlin
Weight 474
Dimensions 156 x 234 x 16

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Top
Bones & All Camille DeAngelis / Book Paperback
common.buy 4 125 Ft
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Book Paperback
common.buy 21 277 Ft
Restaurant and Bar Design II Zheng Siyu / Book Hardback
common.buy 28 813 Ft
Seeing Angels Emma Heathcote-James / Book Hardback
common.buy 10 433 Ft
Christmas Wish Gregory Porter / Audio Audio vinyl
common.buy 11 061 Ft
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Book Paperback
common.buy 27 553 Ft
2 Peter and Jude - Concordia Commentary Curtis Giese / Book Hardback
common.buy 37 663 Ft
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Book Hardback
common.buy 13 479 Ft
Spatial Analysis for Complex Territorial Systems Luca Salvati / Book Paperback
common.buy 74 117 Ft
Coming soon
Bloody Provost R.A.J. Tyler / Book Hardback
common.buy 8 020 Ft
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Book Paperback
common.buy 14 605 Ft
Struggle for Recognition in International Relations Murray / Book Hardback
common.buy 29 998 Ft
Audio-Vision: Sound on Screen Claudia Gorbman / Book Paperback
common.buy 11 998 Ft
Industrial Fuels Joseph Stephenson / Book Hardback
common.buy 12 071 Ft
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Book Paperback
common.buy 6 719 Ft
Heartbreaker Nick Louth / Book Paperback
common.buy 6 599 Ft
Selling Modernity Pamela E. Swett / Book Hardback
common.buy 63 504 Ft
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Book Paperback
common.buy 27 451 Ft
What Did the Biblical Writers Know and When Did They Know it? Dever / Book Paperback
common.buy 9 584 Ft
Spoken Natural Language Dialog Systems Ronnie W. Smith / Book Hardback
common.buy 44 132 Ft
Biology of Memory G. Adam / Book Paperback
common.buy 19 870 Ft
Cairo Trilogy Naguib Mahfouz / Book Hardback
common.buy 11 970 Ft
Talk Fiction Irene Kacandes / Book Paperback
common.buy 14 355 Ft
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Book Hardback
common.buy 54 801 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