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

lenore d zuck

1 cilt bulundu.

Cilt sonuçları

Computer network protocolsA Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of ProtocolsInternational Business Machines Corporation. Research Division, Joseph Y. Halpern, Lenore D. Zuck

A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols

International Business Machines Corporation. Research Division, Joseph Y. Halpern, Lenore D. Zuck · Yayınevi bilinmiyor

35 sayfa · 1987

Computer network protocols