Snow stage · Soft light edits · Free shipping over $75
Login Register
Snow stage · Hero bleed
Types for Proofs and Programs Viola Eckelt Rolfe Otte
Types for Proofs and Programs Viola Eckelt Rolfe Otte
Types for Proofs and Programs Viola Eckelt Rolfe Otte
Types for Proofs and Programs Viola Eckelt Rolfe Otte

Types for Proofs and Programs Viola Eckelt Rolfe Otte

EUR53.49 EUR96.49
4.1

Pay in 4 interest-free payments of $13.37 Learn more

SKU 33901680474
Collection Stage foxbookpublishing.com

Shipping Estimate
USA
  • USA
  • CAN

Ships within 48 hours · Estimated delivery Aug 29 - Sep 3

Snow sheet
Description

Rolfe Otte

Untersucht wird

DURCHFÜHRUNG5

höhere Mieten am Markt zu erhalten

Types for Proofs and Programs Viola Eckelt Rolfe OtteThese proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 2428, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin Lof, one of the

Exchange/Return Notes
  • We offer a 30-day return/exchange service after receiving.
  • Final sale items are not eligible for returns or exchanges.
  • To process your return/exchange, please contact us at [email protected]
  • Please click here for more details>>> Return & Exchange Policy

Discover

Random picks

You may also like

Recommended

recommand products