Yassine Lakhnech – författare

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

5 produkter

Kategorier

5 produkter

Del 54
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 10-15 vardagar
Del 54
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 049 kr
Skickas inom 10-15 vardagar
Tool Support for System Specification, Development and Verification
AvRudolf 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
AvYassine 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
AvSaddek Bensalem,Yassine Lakhnechm. fl.
Häftad, Engelska, 2014
699 kr
Skickas inom 10-15 vardagar