Filtre: Hardback

Cărți de Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic

Autor Michael Fisher

15 iun 2011

Preț: 700^.84 lei 910^.19 lei

3-5 săpt. | 4-10 zile

-23%

Advances in Temporal Logic

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 913^.61 lei 1114^.15 lei

6-8 săpt.

-18%

Balancing the School Calendar: Perspectives from the Public and Stakeholders

Editat de Carolyn Kneese et al.

16 ian 2009

Preț: 318^.45 lei 398^.07 lei

6-8 săpt.

-20%

Verifiable Autonomous Systems

Autor Louise A Dennis et al.

8 iun 2023

Preț: 507^.59 lei 634^.49 lei

6-8 săpt.

-20%

Summer of Our Innocence

Autor Michael Fisher

20 mar 2015

Preț: 136^.27 lei

3-5 săpt.