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

Manuel V Hermenegildo

3 cilt bulundu.

Cilt sonuçları

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia · Springer

377 sayfa · 2017

Computer science / Computer programming / Software engineering / Programming languages (electronic computers) / Algorithms

CiltStatic AnalysisManuel V. Hermenegildo, José F. Morales

Static Analysis

Manuel V. Hermenegildo, José F. Morales · Springer

Sayfa sayısı yok · 2023

Kategori yok

CiltPrologDavid S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski · Springer

Sayfa sayısı yok · 2023

Kategori yok