An Introduction to Practical Formal Methods Using Temporal Logic
Autor Michael Fisher
15 iun 2011
Hardback
Preț: 700.84 lei 910.19 lei
3-5 săpt. | 6-12 zile
-23%
Cărți de Michael Fisher
A Level Biology for OCR A Revision Guide
Autor Michael Fisher
2 mar 2017
Paperback
Preț: 163.38 lei 194.33 lei
22-27 zile | 6-12 zile
-16%
Oxford Revise: A Level Biology for OCR A Complete Revision and Practice: For the 2027 Exams
Autor Andrew Chandler-Grevatt et al.
3 dec 2020
Mixed media product
Preț: 154.13 lei
22-27 zile | 6-12 zile
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ț: 326.23 lei 434.73 lei
22-27 zile
-25%