Catalogo · 9783319602240
Formal Techniques for Disributed Objects, Components, and Systems
ISBN 9783319602240
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Automated Technology for Verification and Analysis
Ahmed Bouajjani
Networked Systems
Ahmed Bouajjani, Hugues Fauconnier
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani, David Monniaux
Computer Aided Verification
Ahmed Bouajjani, Oded Maler
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Filosofia dell'arredamento
Mario Praz
CHINA Portrait of a People
Tom Carter
Biofabrication
Ritu Raman
Bible
Bible
Verba volant · scripta manent