Libri di Lawrence C. Paulson
-
Isabelle: A Generic Theorem Prover
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,80 € -
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Politics & PhilosophyDisp. in 2 settimane75,00 € -
Logic and Computation: Interactive Proof with Cambridge LCF
Venditore: FeltrinelliCambridge University Press, 1990Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane87,10 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.