Hoppa till sidans huvudinnehåll

Jan Vytopil – författare

Visar alla böcker från författaren .
4 produkter
Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems, Inbunden

Formal Techniques in Real-Time and Fault-Tolerant Systems

AvJan Vytopil

Inbunden, Engelska, 1993

2 159 kr

Skickas inom 10-15 vardagar

Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad
Del 221 - Springer International Series in Engineering and Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

AvJan Vytopil

Häftad, Engelska, 2012

2 159 kr

Skickas inom 10-15 vardagar

Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

AvJan Vytopil

Häftad, Engelska, 1991

1 399 kr

Skickas inom 10-15 vardagar

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

AvHans Langmaack,Willem-Paul de Roeverm. fl.

Häftad, Engelska, 1994

1 439 kr

Skickas inom 10-15 vardagar