Verifiable Autonomous Systems
Autor Louise A Dennis et al.
8 iun 2023
Hardback
Preț: 493.31 lei 616.63 lei
6-8 săpt.
-20%
Cărți de Michael Fisher
Summer of Our Innocence
Autor Michael Fisher
20 mar 2015
Paperback
Preț: 133.70 lei
3-5 săpt.
An Introduction to Practical Formal Methods Using Temporal Logic
Autor Michael Fisher
15 iun 2011
Hardback
Preț: 678.04 lei 880.57 lei
3-5 săpt. | 7-11 zile
-23%
Advances in Temporal Logic
Editat de Howard Barringer et al.
31 dec 1999
Hardback
Preț: 922.72 lei 1125.26 lei
6-8 săpt.
-18%