Taschenbuch
ISBN-13: 978-3-662-18846-0
ISBN-10: 3-662-18846-5
Springer · 2014
Siehe auch: | ||
2008 | Taschenbuch | Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, Band 996) |