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 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 132 b
54.48 €
106.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Vive l'Europe ! Bizet Book Paperback
common.buy 17.19 € 33.62 лв
Leiden unsers Herren Jesu Christi Johannes Brassart / Book Paperback
common.buy 20.92 € 40.92 лв
COMPRA ANTICIPADA PAQUETE AHORRO AUXILIAR DE ADMINISTRACIóN GENERAL DE EXTREMADU NO DISPONIBLE / Book Paperback
common.buy 167.30 € 327.20 лв
Le Bonnet de nuit du commis au poivre H.C. Andersen / E-book Adobe ePub DRM
common.buy 6.31 € 12.35 лв
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Book Paperback
common.buy 13.77 € 26.94 лв
Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio Audio CD
common.buy 17.40 € 34.03 лв
Kolorowanki logopedyczne Głoski T D N z naklejkami Magdalena Małecka / Book Paperback
common.buy 2.27 € 4.45 лв
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Book Paperback
common.buy 40.65 € 79.51 лв
AUTOFAGIA VENTURA MEDINA / Book Paperback
common.buy 27.08 € 52.97 лв
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio Audio CD
common.buy 38.06 € 74.45 лв
Die Herren von Greifenklau Karl May / Book Hardback
common.buy 26.62 € 52.06 лв
Die Fixen Kosten in Der Kostentr gerrechnung Gerhard Munzel / Book Paperback
common.buy 55.99 € 109.50 лв
Agentin mit Herz. Staffel.3, 5 DVDs Erwin Dumbrille / Video DVD
common.buy 18.80 € 36.76 лв
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Book Paperback
common.buy 47.18 € 92.28 лв
Musikgeschichte(n) HANS BA LER / Book binding.
common.buy 35.48 € 69.38 лв
Artesanias María Leonor Aguilar García / Book Paperback
common.buy 27.55 € 53.88 лв
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Book Paperback
common.buy 17.45 € 34.13 лв
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Book Paperback
common.buy 29.88 € 58.44 лв
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Book Paperback
common.buy 45.68 € 89.34 лв
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Book Paperback
common.buy 14.60 € 28.56 лв
Ludwig II. Christine Tauber / Book Hardback
common.buy 11.23 € 21.97 лв
Weidenrute und Schwert Gerwalt Richardson / Book Paperback
common.buy 14.50 € 28.36 лв
Brainstorming Andrea Windolph / Book Paperback
common.buy 9.58 € 18.73 лв
Zadní pokoj Jorn Lier Horst / Book Hardback
common.buy 15.33 € 29.98 лв

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

Coming soon
Bloody Provost R.A.J. Tyler / Book Hardback
common.buy 22.63 € 44.26 лв
Energy Healing MD Ann Marie Chiasson / E-book Adobe ePub DRM
common.buy 18.28 € 35.75 лв
Restaurant and Bar Design II Zheng Siyu / Book Hardback
common.buy 84.68 € 165.62 лв
Seeing Angels Emma Heathcote-James / Book Hardback
common.buy 29.05 € 56.82 лв
Early Metallurgical Sites in Great Britain Institute of Metals / Book Paperback
common.buy 25.06 € 49.02 лв
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Book Paperback
common.buy 75.41 € 147.49 лв
Christmas Wish Gregory Porter / Audio Audio vinyl
common.buy 33.04 € 64.62 лв
2 Peter and Jude - Concordia Commentary Curtis Giese / Book Hardback
common.buy 106.54 € 208.37 лв
Webs from Fancy's Loom; Poems and Sketches Lawton / Book Hardback
common.buy 33.61 € 65.74 лв
Summer with Seuss Workbook: Grades 2-3 GR2-3 / Book Paperback
common.buy 10.41 € 20.35 лв
Top
Bones & All Camille DeAngelis / Book Paperback
common.buy 10.82 € 21.16 лв
Grand Theft Auto IV soundtrack Agnes F. Vandome / Book Paperback
common.buy 169.58 € 331.66 лв
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Book Paperback
common.buy 38.32 € 74.96 лв
The Life And Works Of Paul Laurence Dunbar Lida Keck Wiggins / Book Hardback
common.buy 51.58 € 100.89 лв
Struggle for Recognition in International Relations Murray / Book Hardback
common.buy 122.13 € 238.87 лв
Audio-Vision: Sound on Screen Claudia Gorbman / Book Paperback
common.buy 35.63 € 69.69 лв
Industrial Fuels Joseph Stephenson / Book Hardback
common.buy 31.64 € 61.89 лв
Top
Money Grows on Trees: "How to reshape your thoughts, beliefs and ideals about money and become truly wealthy." Jerremy Alexander Newsome / Book Paperback
common.buy 19.31 € 37.78 лв
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Book Paperback
common.buy 17.55 € 34.33 лв
Heartbreaker Nick Louth / Book Paperback
common.buy 15.64 € 30.58 лв
Randolph Caldecott: A Personal Memoir Of His Early Art Career (1886) Henry Blackburn / Book Paperback
common.buy 26.93 € 52.67 лв
Tattooing of the North American Indians A. T. Sinclair / Book Hardback
common.buy 33.61 € 65.74 лв
Spatial Analysis for Complex Territorial Systems Luca Salvati / Book Paperback
common.buy 209.61 € 409.97 лв
Malini: Through My Eyes Robert Hillman / Book Paperback
common.buy 7.04 € 13.77 лв

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?