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

John Hatcliff

4 cilt bulundu.

Cilt sonuçları

Formal Techniques for Distributed Systems

Formal Techniques for Distributed Systems

John Hatcliff, Elena Zucca · Springer

Sayfa sayısı yok · 2011

Kategori yok

CiltFormal Techniques for Distributed SystemsJohn Hatcliff, Elena Zucca

Formal Techniques for Distributed Systems

John Hatcliff, Elena Zucca · Springer London, Limited

233 sayfa · 2010

Kategori yok

CiltTools and Algorithms for the Construction and Analysis of SystemsHubert Garavel, John Hatcliff

Tools and Algorithms for the Construction and Analysis of Systems

Hubert Garavel, John Hatcliff · Springer London, Limited

Sayfa sayısı yok · 2003

Kategori yok

CiltPartial Evaluation : Practice and TheoryJohn Hatcliff, Torben Mogensen, Peter Thiemann

Partial Evaluation : Practice and Theory

John Hatcliff, Torben Mogensen, Peter Thiemann · Springer

Sayfa sayısı yok · 2007

Kategori yok