Concrete Semantics: With Isabelle/HOL
Autor Tobias Nipkow et al.
15 dec 2014
Hardback
Preț: 457.78 lei 572.23 lei
18-23 zile | 7-13 zile
-20%
Cărți de Tobias Nipkow
Term Rewriting and All That
Autor Franz Baader et al.
4 aug 1999
Paperback
Preț: 388.01 lei 485.01 lei
6-8 săpt.
-20%
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Editat de Stefan Berghofer et al.
4 aug 2009
Paperback
Preț: 344.42 lei 430.53 lei
6-8 săpt.
-20%
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Editat de Jayadev Misra et al.
10 aug 2006
Paperback
Preț: 662.30 lei 827.87 lei
6-8 săpt.
-20%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Autor Tobias Nipkow et al.
3 apr 2002
Paperback
Preț: 359.35 lei 449.19 lei
6-8 săpt.
-20%
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Editat de Rajeev Gore et al.
6 iun 2001
Paperback
Preț: 666.73 lei 833.42 lei
6-8 săpt.
-20%
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Editat de Tobias Nipkow
11 mar 1998
Paperback
Preț: 335.52 lei 419.39 lei
6-8 săpt.
-20%
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Editat de Jan Heering et al.
28 iul 1994
Paperback
Preț: 335.69 lei 419.61 lei
6-8 săpt.
-20%
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Editat de Henk Barendregt et al.
20 mai 1994
Paperback
Preț: 337.85 lei 422.31 lei
6-8 săpt.
-20%