Cărți de Yassine Lakhnech

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8415

Editat de Saddek Bensalem et al.

11 mar 2014

Preț: 332^.24 lei 415^.30 lei

6-8 săpt.

-20%

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge Tracts in Theoretical Computer Science, nr. 54

Autor Willem-Paul de Roever et al.

25 ian 2012

Preț: 542^.23 lei 677^.79 lei

6-8 săpt.

-20%

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Lecture Notes in Computer Science, nr. 3253

Editat de Yassine Lakhnech et al.

20 sep 2004

Preț: 338^.16 lei 422^.70 lei

6-8 săpt.

-20%

Tool Support for System Specification, Development and Verification

Advances in Computing Sciences

Editat de Rudolf Berghammer et al.

25 mar 1999

Preț: 330^.10 lei 412^.62 lei

6-8 săpt.

-20%