Hoppa till sidans huvudinnehåll

Marino Miculan - Böcker

Visar alla böcker från författaren Marino Miculan.
2 produkter

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

719 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

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

AvMarino Miculan,Ivan Scagnetto,Furio Honsell

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar