Hoppa till sidans huvudinnehåll

Yassine Lakhnech – författare

Visar alla böcker från författaren Yassine Lakhnech.
5 produkter
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boerm. fl.

Häftad, Engelska, 2012

1 429 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Inbunden
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boerm. fl.

Inbunden, Engelska, 2001

4 059 kr

Skickas inom 7-10 vardagar

Rudolf Berghammer, Yassine Lakhnech - Tool Support for System Specification, Development and Verification, Häftad

Tool Support for System Specification, Development and Verification

AvRudolf Berghammer,Yassine Lakhnech

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Yassine Lakhnech, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Häftad

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

AvYassine Lakhnech,Sergio Yovine

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Saddek Bensalem, Yassine Lakhnech, Axel Legay - From Programs to Systems - The Systems Perspective in Computing, Häftad

From Programs to Systems - The Systems Perspective in Computing

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

AvSaddek Bensalem,Yassine Lakhnechm. fl.

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar