Libri di Tobias Nipkow
Tutti i risultati (10)
-
Functional Data Structures and Algorithms: A Proof Assistant Approach
Venditore: FeltrinelliAssociation of Computing Machinery,U.S., 2025Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane63,80 € -
Functional Data Structures and Algorithms: A Proof Assistant Approach
Venditore: FeltrinelliAssociation of Computing Machinery,U.S., 2025Libri in Inglese | Science, Computer & TechnologyDisp. in 3 settimane80,69 € -
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,00 € -
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,70 € -
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
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 € -
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane183,80 € -
Concrete Semantics: With Isabelle/HOL
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,10 € -
Concrete Semantics: With Isabelle/HOL
Venditore: FeltrinelliSpringer International Publishing AG, 2014Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane99,20 € -
Term Rewriting and All That
Venditore: FeltrinelliCambridge University Press, 1999Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane90,20 €
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.
