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

Erik de Vink

2 cilt bulundu.

Cilt sonuçları

Formal Methods

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink · Springer

706 sayfa · 2018

Artificial intelligence

CiltControl Flow SemanticsJ. W. De Bakker, Erik P. De Vink

Control Flow Semantics

J. W. De Bakker, Erik P. De Vink · MIT Press

588 sayfa · 1996

Kategori yok