3 results
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
3 results

Your search for Marino Miculan

  1. Cover: Types for Proofs and Programs - Springer
    Marino Miculan
    Types for Proofs and Programs
    International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    05/2008
    Springer
    9783540681038 (ISBN)
    Book
    Paperback/Softback
    €39.00
    Shipment within 7-9 days
  2. Cover: Types for Proofs and Programs - Springer
    Marino Miculan | Ivan Scagnetto | Furio Honsell
    Types for Proofs and Programs
    International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
    05/2008
    Springer
    9783540680840 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  3. Cover: Foundations of Software Science and Computation Structures - Springer
    Furio Honsell | Marino Miculan
    Foundations of Software Science and Computation Structures
    4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings
    03/2001
    Springer
    9783540418641 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days