Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science (4941), Band 4941)
von
Marino Miculan
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-68084-0
ISBN-10: 3-540-68084-5
Springer
· 2008