Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science,)
5 Angebote vergleichen
Preise | 2012 | 2013 | 2014 | 2015 |
---|---|---|---|---|
Schnitt | € 55,30 | € 34,95 | € 68,02 | € 91,34 |
Nachfrage |
1
Symbolbild
Types for Proofs and Programs
DE PB NW
ISBN: 9783540617808 bzw. 3540617809, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
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.x, 298 S. X, 296 pp.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
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.x, 298 S. X, 296 pp.Versandfertig in 3-5 Tagen, Softcover.
2
Types for Proofs and Programs: International Workshop, Types 95, Torino, Italy, June 5 - 8, 1995 Selected Papers (1995)
DE PB NW
ISBN: 9783540617808 bzw. 3540617809, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, BuySomeBooks [52360437], Las Vegas, NV, U.S.A.
Paperback. 298 pages. Dimensions: 9.2in. x 6.0in. x 0.6in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Paperback. 298 pages. Dimensions: 9.2in. x 6.0in. x 0.6in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
3
Types for Proofs and Programs (1996)
DE PB NW RP
ISBN: 9783540617808 bzw. 3540617809, in Deutsch, Springer Okt 1996, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Types for Proofs Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (2015)
DE PB NW
ISBN: 9783540617808 bzw. 3540617809, in Deutsch, SPRINGER VERLAG GMBH 01/06/2015, Taschenbuch, neu.
Von Händler/Antiquariat, Books2Anywhere [190245], Fairford, GLOS, United Kingdom.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. This item is printed on demand.
5
Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science) (2008)
DE US
ISBN: 9783540617808 bzw. 3540617809, in Deutsch, Springer, gebraucht.
Von Händler/Antiquariat, Better World Books Ltd [53572034], Dunfermline, United Kingdom.
Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside.
Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside.
Lade…