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

Nadia Polikarpova

2 cilt bulundu.

Cilt sonuçları

Integrated Formal Methods

Integrated Formal Methods

Nadia Polikarpova, Steve Schneider · Springer

459 sayfa · 2017

System design / Computer science

CiltSoftware VerificationMaria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel

Software Verification

Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok