Αποτελέσματα αναζήτησης συγγραφέα

1

Εξώφυλλο

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification organized by...

Έκδοση 1986

Άλλοι συγγραφείς: '; “...Diaz, Michel...”

Βιβλίο

2

Εξώφυλλο

The Formal description technique Estelle : results of the ESPRIT/SEDOS Project /

Έκδοση 1989

Άλλοι συγγραφείς: '; “...Diaz, Michel...”

Βιβλίο

3

Εξώφυλλο

The formal description technique Lotos : : results of the ESPRIT/SEDOS project /

Έκδοση 1989

Άλλοι συγγραφείς: '; “...Diaz, Michel...”

Βιβλίο

Cannot write session to /tmp/vufind_sessions/sess_20aad6mhqgvufujbp2h8rl3pl1