Skip to content
Home/ Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 -
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 -

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 -

No customer reviews yet ISBN 9783540580850

About the author

Product details

Pub dateMay 20, 1994
ISBN-103540580859
ISBN-139783540580850
LanguageEnglish
Last updated 2026-08-26 12:13
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Programming - General
See all
Flexlabs: A Flexible Laboratory Manual to Accompany Abstractions & Programming in Turbo Pascal
Shaffer, Dale
$33.00
Secrets of the Rock Star Programmers: Riding the It Crest
Burns, Ed
$28.72
Microsoft Visual Studio 2008 Programming
Plenderleith, Jamie
$48.35
Oracle Fusion Developer Guide: Building Rich Internet Applications with Oracle ADF Business Componen
Nimphius, Frank
$62.40
Programming a Beginner's Guide
Mansfield, Richard
$31.35
Quick Start Guide to Oracle Fusion Development: Oracle JDeveloper and Oracle ADF
Ronald, Grant
$33.57