BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Marino Miculan

3 cilt bulundu.

Cilt sonuçları

Types for Proofs and Programs

Types for Proofs and Programs

Marino Miculan · Springer-Verlag Berlin and Heidelberg GmbH & Co. K

202 sayfa · 2008

Automatic theorem proving / Computer programming

Types for Proofs and Programs

Types for Proofs and Programs

Furio Honsell, Marino Miculan, Ivan Scagnetto · Springer

Sayfa sayısı yok · 2008

Kategori yok

CiltFoundations of Software Science and Computation StructuresFurio Honsell, Marino Miculan

Foundations of Software Science and Computation Structures

Furio Honsell, Marino Miculan · Springer London, Limited

Sayfa sayısı yok · 2007

Kategori yok