An Introduction to Practical Formal Methods Using Temporal Logic
Autor Michael Fisher
15 iun 2011
Hardback
Preț: 677.50 lei 879.87 lei
3-5 săpt. | 6-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ț: 156.90 lei 192.76 lei
22-28 zile | 6-10 zile
-19%
Oxford Revise: A Level Biology for OCR A Complete Revision and Practice
Autor Andrew Chandler-Grevatt et al.
3 dec 2020
Mixed media product
Preț: 148.82 lei 178.88 lei
22-28 zile | 6-10 zile
-17%
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 Year 1 and AS Student Book (OCR B)
Fran Fuller et al.
16 iul 2015
Paperback
Preț: 317.46 lei 421.78 lei
22-28 zile
-25%
A Level Advancing Biology for OCR B: Year 2
Fran Fuller et al.
10 dec 2015
Paperback
Preț: 314.74 lei 420.35 lei
22-28 zile
-25%