phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Types for Proofs and Programs

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Types for Proofs and Programs Stefano Berardi
Libristo kod: 05274627
Nakladnici Springer, Berlin, studeni 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Bones & All Camille DeAngelis / Meki uvez
common.buy 11.09 €
Angel Face Barbie Latza Nadeau / Meki uvez
common.buy 18.25 €
Spanking at the Girl's Convent School Jacqui Knight / Meki uvez
common.buy 12.70 €
Agentin mit Herz. Staffel.3, 5 DVDs Erwin Dumbrille / DVD
common.buy 18.15 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Meki uvez
common.buy 24.51 €
PRIPREMAMO
Religious Institutes and Catholic Culture in 19th- and 20th-Century Europe Urs Altermatt / Tvrdi uvez
common.buy 64.56 €
Talk Fiction Irene Kacandes / Meki uvez
common.buy 40.35 €
Artesanias María Leonor Aguilar García / Meki uvez
common.buy 33.08 €
What Ministers Know Thomas M. Tanner / Tvrdi uvez
common.buy 170.41 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Tvrdi uvez
common.buy 128.63 €
Musikgeschichte(n) / binding.
common.buy 34.30 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Meki uvez
common.buy 77.58 €
No Boring Stories! Julie Falatko / Tvrdi uvez
common.buy 19.06 €
PRIPREMAMO
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 / Tvrdi uvez
common.buy 155.88 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Meki uvez
common.buy 61.44 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Meki uvez
common.buy 55.79 €

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.

Informacije o knjizi

Puni naziv Types for Proofs and Programs
Autor Stefano Berardi, Mario Coppo
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 298
EAN 9783540617808
ISBN 3540617809
Libristo kod 05274627
Nakladnici Springer, Berlin
Težina 474
Dimenzije 156 x 234 x 16

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun