Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences ... Notes in Computer Science , Band 2030) | 978-3-540-41864-1 (3-540-41864-4) | 2008 | Furio Honsell |
Types for Proofs and Programs: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers | 978-3-540-68084-0 (3-540-68084-5) | 2008 |
M M · Marianne Mclean · Marina Mogilner · Marina Moguillansky · Marine Mikilyan · Marino Magliani · Marino Miculan,Ivan Scagnetto Furio Honsell · Marion Maclean · Marion McCollom · Marion McIlhaney · Miron Mislin