Marino Miculan - Böcker

Visar alla böcker från författaren Marino Miculan.
2 produkter
Furio Honsell, Marino Miculan - Foundations of Software Science and Computation Structures, Häftad
Del 2030 - Lecture Notes in Computer Science

Foundations of Software Science and Computation Structures

Av Furio Honsell, Marino Miculan

Häftad, Engelska, 2001

739 kr

Skickas inom 7-10 vardagar
Marino Miculan, Ivan Scagnetto, Furio Honsell - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

Av Marino Miculan, Ivan Scagnetto, Furio Honsell

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar