Otium BookshelfOtium
Caricamento sessione
← Esplora

Catalogo · 9783642279409

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak
ISBN 9783642279409

Descrizione non disponibile per questo libro.

Vedi su Google Bookspowered by Google

Communitas attorno al libro

Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.

Accedi per partecipare
Letture affini
Copertina di Dostoevsky and Kant
Dostoevsky and Kant
Evgenia Cherkasova
Copertina di Letters from a Stoic
Letters from a Stoic
Seneca the Younger
Copertina di The Correspondence
The Correspondence
J. D. Daniels
Copertina di The picnic gourmet
The picnic gourmet
Joan Hemingway
Copertina di Filosofia dell'arredamento
Filosofia dell'arredamento
Mario Praz
Copertina di CHINA Portrait of a People
CHINA Portrait of a People
Tom Carter
Copertina di Biofabrication
Biofabrication
Ritu Raman
Copertina di Bible
Bible
Bible
Copertina di Laws, etc
Laws, etc
Great Britain.
Copertina di Oliver Twist
Oliver Twist
Charles Dickens
Copertina di Gulliver's Travels
Gulliver's Travels
Jonathan Swift
Copertina di The Call of the Wild
The Call of the Wild
Jack London
Altri libri di Viktor Kuncak
Copertina di Computer Aided Verification
Computer Aided Verification
Rupak Majumdar, Viktor Kunčak
Verba volant · scripta manent