Yassine Lakhnech – författare

Visar alla böcker från författaren Yassine Lakhnech.

5 produkter

1. 

   Concurrency Verification

   Introduction to Compositional and Non-compositional Methods

   Av Willem-Paul de Roever, Frank de Boer m. fl.

   Häftad, 2012

   1739 kr

   Lägg i varukorg

2. 

   Concurrency Verification

   Introduction to Compositional and Non-compositional Methods

   Av Willem-Paul de Roever, Frank de Boer m. fl.

   Inbunden, 2001

   4819 kr

   Lägg i varukorg

3. 

   Tool Support for System Specification, Development and Verification

   Av Rudolf Berghammer, Yassine Lakhnech

   Häftad, 1999

   739 kr

   Lägg i varukorg

4. 

   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

   Av Yassine Lakhnech, Sergio Yovine

   Häftad, 2004

   739 kr

   Lägg i varukorg

5. 

   From Programs to Systems - The Systems Perspective in Computing

   ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

   Av Saddek Bensalem, Yassine Lakhnech m. fl.

   Häftad, 2014

   709 kr

   Lägg i varukorg