Otium BookshelfOtium
Caricamento sessione
← Esplora

Catalogo · 9783540311393

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

Kedar S. Namjoshi
ISBN 9783540311393

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 Kedar S. Namjoshi
Copertina di Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi, Andreas Podelski
Copertina di Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Kedar S. Namjoshi
Verba volant · scripta manent