Cărți de Joseph Sifakis

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

Autor Joseph Sifakis

18 mai 2023

Preț: 246^.14 lei 307^.67 lei

3-5 săpt. | 5-11 zile

-20%

Rigorous System Design

Foundations and Trends (R) in Electronic Design Automation

Autor Joseph Sifakis

19 mar 2013

Preț: 357^.71 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ț: 645^.31 lei 806^.63 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ț: 332^.83 lei 416^.04 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ț: 330^.73 lei 413^.41 lei

6-8 săpt.

-20%