Description: Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science (1657)) by Altenkirch, Thorsten, Naraschewski, Wolfgang, Reus, Bernhard [Paperback]
Price: 13.87 USD
Location: Glendale Heights, Illinois
End Time: 2024-12-25T11:44:32.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Number of Pages: VIII, 212 Pages
Language: English
Publication Name: Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Publisher: Springer Berlin / Heidelberg
Subject: Programming / General, Intelligence (Ai) & Semantics, Computer Science, Logic, Compilers
Publication Year: 1999
Type: Textbook
Item Weight: 24.7 Oz
Item Length: 9.3 in
Subject Area: Mathematics, Computers
Author: Wolfgang Naraschewski
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
