Tarnai Géza - Eckehard Schnieder (szerk.): Formal Methods for Railway Operation and Control Systems (2003)

.шпявнпр s Tárnái, Schnieder (Eds.) j Formal' Methods for Railway Operations / ana Control Systems ' y/yiyj'C-ix£*+^m It /I ■'*.„­_ • /\ /I *• ï Lf ÍTarmattan

Next

/
Oldalképek
Tartalom