Hoppa till sidans huvudinnehåll

Marino Miculan – författare

Visar alla böcker från författaren Marino Miculan.
3 produkter
Furio Honsell, Marino Miculan - Foundations of Software Science and Computation Structures, Häftad

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

AvFurio Honsell,Marino Miculan

Häftad, Engelska, 2001

739 kr

Skickas inom 10-15 vardagar

Marino Miculan, Ivan Scagnetto, Furio Honsell - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

AvMarino Miculan,Ivan Scagnettom. fl.

Häftad, Engelska, 2008

739 kr

Skickas inom 10-15 vardagar

Marino Miculan - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

AvMarino Miculan

Häftad, Engelska, 2008

919 kr

Skickas