Yassine Lakhnech - Böcker

Visar alla böcker från författaren Yassine Lakhnech.
3 produkter
Rudolf Berghammer, Yassine Lakhnech - Tool Support for System Specification, Development and Verification, Häftad

Tool Support for System Specification, Development and Verification

Av Rudolf Berghammer, Yassine Lakhnech

Häftad, Engelska, 1999

739 kr

Skickas inom 7-10 vardagar
Yassine Lakhnech, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Häftad
Del 3253 - Lecture Notes in Computer Science

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Av Yassine Lakhnech, Sergio Yovine

Häftad, Engelska, 2004

739 kr

Skickas inom 7-10 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

Av Saddek Bensalem, Yassine Lakhnech, Axel Legay

Häftad, Engelska, 2014

709 kr

Skickas inom 7-10 vardagar