Vai al contenuto

Sessione

Sessione

OtiumBookshelf

Otium Bookshelf prende il nome dal tempo sottratto al rumore: quello che dedichi ai libri, agli appunti, alla memoria personale e alle relazioni tra lettori.

I tuoi dati non si vendono, nemmeno aggregati; non addestrano modelli di intelligenza artificiale; li porti via quando vuoi.

Prodotto

Home
Perche Otium
Come funziona
Blog

Community

Top Lettori
Community
Che cos'è Otium Bookshelf
Press
Aiuto
Contatto

Legale

Privacy
Termini
Cookie

© 2026 Otium Bookshelf

Il tempo dedicato a ciò che conta davvero.

Copertine da Open Library

Sessione

Sessione

Caricamento sessione

Giorgio Levi

Autori›Giorgio Levi

GL

Giorgio Levi

Non abbiamo ancora una biografia di Giorgio Levi.

Opere: 8
Edizioni: 8
Lingue: 2

Pubblicato in Inglese · Italiano

Accedi per seguire

Per saperne di più: Open Library (si apre in una nuova scheda)

I libri più noti

Tutti i libri di Giorgio Levi

Verification, Model Checking, and Abstract Interpretation
2003
TAPSOFT '87 Vol. 2
1987
Static Analysis
2003
Prolog
1993
Logic programming
1989
Algebraic and logic programming
1994
Advances in Logic Programming Theory (International Schools for Computer Scientists)
1994
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
1987
TAPSOFT '87
1987