Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassine Lakhnech, Sergio Yovine
Häftad, 2004
561 kr
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
AvSergio Yovine,Yassine Lakhnech
E-bok
PDF, Engelska, 2004734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Tool Support for System Specification, Development and Verification
Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
561 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Inbunden, 2001
3 123 kr
Del 54
Concurrency Verification
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Häftad, 2012
1 101 kr
From Programs to Systems - The Systems Perspective in Computing
Axel Legay, Yassine Lakhnech, Saddek Bensalem
E-bok
2014629 kr
From Programs to Systems - The Systems Perspective in Computing
Saddek Bensalem, Yassine Lakhnech, Axel Legay
Häftad, 2014
539 kr
Tool Support for System Specification, Development and Verification
Yassine Lakhnech, Rudolf Berghammer
E-bok
2012734 kr
- Signerad!
- 4 för 3
Del 11
- 4 för 3