Types For Proofs And Programs International Workshop Types 98 Kloster Irsee Germany March 27 31 1998 Selected Papers(1999 Edition)
Authors:
Thorsten Altenkirch ,Wolfgang Naraschewski ,Bernhard Reus
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3540665374, 978-3540665373
Book publisher: Springer
Frequently Bought Together
Search Engine Optimization Become An SEO Expert Master Search Engine Optimization Tools And Strategies - 1st Edition
Samantha Blake
ISBN: B0DB5KJ4C8, 979-8334019591
$0 $14.99
Law And Ethics In The Business Environment - 9th Edition
Terry Halbert
ISBN: 1337627585, 9781337627580
$0 $131.00
Applied Statistical Modelling For Ecologists A Practical Guide To Bayesian And Likelihood Inference Using R JAGS NIMBLE Stan And TMB - 1st Edition
Marc Kéry
ISBN: 0443137153, 978-0443137150
$0 $89.95
It Didn T Take Long For Me To See You As My Friend Rather Than My Colleague I M Lucky To Have Worked With You And I Ll Miss You Let S Keep In For Your Co Worker Boss Manager Employee - 1st Edition
VivianLee Press
ISBN: 1081523921, 978-1081523923
$0 $7.98
Bitcoin The Ultimate Guide To Understanding Bitcoin Cryptocurrency And Blockchain Technologies - 1st Edition
Tim Mathis
ISBN: 1979808341, 978-1979808347
$0 $13.53