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

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

Häftad, Engelska, 2012

1 329 kr

Skickas inom 7-10 vardagar

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

3 979 kr

Skickas inom 7-10 vardagar

Tool Support for System Specification, Development and Verification

AvRudolf Berghammer,Yassine Lakhnech

Häftad, Engelska, 1999

719 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

AvYassine Lakhnech,Sergio Yovine

Häftad, Engelska, 2004

719 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

AvSaddek Bensalem,Yassine Lakhnechm. fl.

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar