Hoppa till sidans huvudinnehåll

Yassine Lakhnech - Böcker

Visar alla böcker från författaren Yassine Lakhnech.
5 produkter
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

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

Häftad, Engelska, 2012

1 329 kr

Skickas inom 10-15 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

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

Inbunden, Engelska, 2001

3 949 kr

Skickas inom 10-15 vardagar

Tool Support for System Specification, Development and Verification

Av Rudolf Berghammer, Yassine Lakhnech

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar