Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale de

Ø 0.0

0 Bewertungen

67,58 €

The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540680840
Book Title:

Types for Proofs and Programs
ISBN:

9783540680840

None:

International Standard : tracked-no signature (7 to 15 business days) 20,77 EUR - Lieferung zwischen 23. June 2025 und 01. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale de

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland,

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy,

Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee,

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee,

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden,

Types for Proofs and Programs: International Workshop, TYPES'99, L?keberg, Swede

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, U

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto,

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, D

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbour

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The N

Types for Proofs and Programs : International Workship, Types '99 Lokeberg, S...

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, Jun

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic

Types for Proofs and Programs : International Workshop Types '96, Aussois, Fr...

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the T

Types for Proofs and Programs : International Workshop Types '96, Aussois, Fr...

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale de

Ähnliche Artikel

Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland,

Types for Proofs and Programs: International Workshop, TYPES '95, Torino, Italy,

Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee,

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee,

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden,

Types for Proofs and Programs: International Workshop, TYPES'99, L?keberg, Swede

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, U

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto,

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, D

Certified Programs and Proofs: Third International Conference, CPP 2013, Melbour

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The N

Types for Proofs and Programs : International Workship, Types '99 Lokeberg, S...

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, Jun

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic

Types for Proofs and Programs : International Workshop Types '96, Aussois, Fr...

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the T

Types for Proofs and Programs : International Workshop Types '96, Aussois, Fr...

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April

Cookie Hinweis