Book's by Wolfgang Naraschewski
Covers
List
Types for Proofs and Programs
By: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Be the first to review
Types for Proofs and Programs
By: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Be the first to review
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Age
Page Count
222
Publisher
Springer
Published Date
ISBN 10
3540481672
ISBN 13
9783540481676
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Age
Page Count
212
Publisher
Springer
Published Date
ISBN 10
3540665374
ISBN 13
9783540665373
Select your Age
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.
Learn More.