Articoli correlati a Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic - Brossura

Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus

 
9783662182291: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Brossura
ISBN 10: 3662182297 ISBN 13: 9783662182291
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

  • EditoreSpringer
  • Data di pubblicazione2014
  • ISBN 10 3662182297
  • ISBN 13 9783662182291
  • RilegaturaPaperback
  • LinguaInglese

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540433767: Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283

Edizione in evidenza

ISBN 10:  3540433767 ISBN 13:  9783540433767
Casa editrice: Springer, 2002
Brossura