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

t f melham

2 cilt bulundu.

Cilt sonuçları

Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

T. F. Melham · Cambridge University Press

180 sayfa · 2009-07-02

Computers

Computer softwareA Mechanized Theory of the Pi-calculus in HOL.T. F. Melham, University of Cambridge. Computer Laboratory

A Mechanized Theory of the Pi-calculus in HOL.

T. F. Melham, University of Cambridge. Computer Laboratory · Yayınevi bilinmiyor

31 sayfa · 1992

Computer software