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

Dana Fisman

2 cilt bulundu.

Cilt sonuçları

CiltTools and Algorithms for the Construction and Analysis of SystemsDana Fisman, Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

CiltRuntime VerificationLu Feng, Dana Fisman

Runtime Verification

Lu Feng, Dana Fisman · Springer International Publishing AG

Sayfa sayısı yok · 2021

Kategori yok