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

Viktor Kuncak

Autori›Viktor Kuncak

VK

Viktor Kuncak

Non abbiamo ancora una biografia di Viktor Kuncak.

Opere: 3
Edizioni: 4
Lingue: 1

Pubblicato in Inglese

Accedi per seguire

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

I libri più noti

Tutti i libri di Viktor Kuncak

Computer Aided Verification
2017
Verification, Model Checking, and Abstract Interpretation
2012
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)
2012