Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March/April 1998
Bernhard Steffen
Rok wydania:
1998
Wydawnictwo:
Springer »
Rodzaj okładki:
Miękka
Wymiar:
17x24cm
Ilość stron:
455
Waga:
0.622 kg
TIN:
T06771740
Stan:
Używana
Stan egzemplarza:
Widoczne
ślady
użytkowania
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.