Bücher nach ISBN
>
Springer
> Marino Miculan,Ivan Scagnetto Furio Honsell
Marino Miculan,Ivan Scagnetto Furio Honsell
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Types for Proofs and Programs
978-3-54O-84799-1
(3-54O-84799-5)
2008
M. I.
·
M M
·
M S.
·
Marino Miculan
Marino Miguel Muñoz