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

marina walden

2 cilt bulundu.

Cilt sonuçları

CiltFormal Reasoning About Distributed AlgorithmsMarina Waldén

Formal Reasoning About Distributed Algorithms

Marina Waldén · Turku Centre for Computer Science

Sayfa sayısı yok · 1998

Kategori yok

Z (computer program language)ZB 2003 : Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

ZB 2003 : Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén · Springer London, Limited

Sayfa sayısı yok · 2003

Z (computer program language)