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

isil dillig

2 cilt bulundu.

Cilt sonuçları

Computer Aided Verification

Computer Aided Verification

Isil Dillig, Serdar Tasiran · Saint Philip Street Press

569 sayfa · 2019

Kategori yok

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Isil Dillig, Jens Palsberg · Springer

558 sayfa · 2018

Computer science / Software engineering