An Introduction to Practical Formal Methods Using Temporal Logic
Autor Michael Fisher
15 iun 2011
Hardback
Preț: 774.84 lei 968.54 lei
22-36 zile | 5-11 zile
-20%
Cărți de Michael Fisher
Advances in Temporal Logic
Editat de Howard Barringer et al.
31 dec 1999
Hardback
Preț: 988.90 lei 1205.97 lei
43-57 zile
-18%
Balancing the School Calendar: Perspectives from the Public and Stakeholders
Editat de Carolyn Kneese et al.
16 ian 2009
Paperback
Preț: 320.61 lei 397.29 lei
43-57 zile
-19%
Verifiable Autonomous Systems
Autor Louise A Dennis et al.
8 iun 2023
Hardback
Preț: 547.62 lei 684.53 lei
43-57 zile
-20%
Summer of Our Innocence
Autor Michael Fisher
20 mar 2015
Paperback
Preț: 136.27 lei
22-36 zile