An Introduction to Practical Formal Methods Using Temporal Logic
Autor Michael Fisher
15 iun 2011
Hardback
Preț: 678.41 lei 881.05 lei
3-5 săpt. | 4-10 zile
-23%
Cărți de Michael Fisher
A Level Biology for OCR A Revision Guide
Autor Michael Fisher
2 mar 2017
Paperback
Preț: 157.85 lei 176.07 lei
23-29 zile | 4-10 zile
-10%
Oxford Revise: A Level Biology for OCR A Complete Revision and Practice: For the 2026 Exams
Autor Andrew Chandler-Grevatt et al.
3 dec 2020
Mixed media product
Preț: 149.51 lei 163.68 lei
23-29 zile | 4-10 zile
-9%
Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Editat de Jürgen Dix et al.
29 oct 2010
Paperback
Preț: 316.28 lei 395.35 lei
3-5 săpt.
-20%
A Level Advancing Biology for OCR B: Year 2
Fran Fuller et al.
10 dec 2015
Paperback
Preț: 314.74 lei 420.35 lei
23-29 zile
-25%