Cărți de Joseph Sifakis

Understanding and Changing the World: From Information to Knowledge and Intelligence

Autor Joseph Sifakis

18 mai 2023

Preț: 251^.17 lei 313^.96 lei

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

-20%

Rigorous System Design

Foundations and Trends (R) in Electronic Design Automation

Autor Joseph Sifakis

19 mar 2013

Preț: 365^.04 lei

6-8 săpt.

Embedded Systems Design: The ARTIST Roadmap for Research and Development

Lecture Notes in Computer Science, nr. 3436

Editat de Bruno Bouyssounouse et al.

30 mar 2005

Preț: 656^.36 lei 820^.45 lei

6-8 săpt.

-20%

Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Lecture Notes in Computer Science, nr. 2491

Editat de Alberto Sangiovanni-Vincentelli et al.

25 sep 2002

Preț: 339^.66 lei 424^.58 lei

6-8 săpt.

-20%

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

Lecture Notes in Computer Science, nr. 407

Editat de Joseph Sifakis

10 ian 1990

Preț: 337^.52 lei 421^.90 lei

6-8 săpt.

-20%