Lecture Notes in Computer Science Computer Aided Verification 1633
Praca zbiorowa pod red.:
Nicolas Halbwachs
Doron Peled
Rok wydania:
1999
Wydawnictwo:
Springer »
Rodzaj okładki:
Miękka
Wymiar:
16x24cm
Ilość stron:
506
Waga:
0.68 kg
TIN:
T06777624
Stan:
Używana
Stan egzemplarza:
Widoczne
ślady
użytkowania
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.