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

German Puebla

3 cilt bulundu.

Cilt sonuçları

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Germán Puebla · Springer London, Limited

237 sayfa · 2007

Logic programming / Congresses

CiltProceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program ManipulationGerman Puebla

Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

German Puebla · Association for Computing Machinery

Sayfa sayısı yok · 2009

Kategori yok

CiltStatic AnalysisManuel Hermenegildo, German Puebla

Static Analysis

Manuel Hermenegildo, German Puebla · Springer London, Limited

Sayfa sayısı yok · 2003

Kategori yok