Programmverifikation. : Sequentielle, parallele und verteilte Programme. /

Uložené v:
Podrobná bibliografia
Hlavní autori: Apt, Krzysztof R. (Author), Olderog, Ernst-Rüdiger (Author)
Médium: Kniha
Jazyk:German
Vydané: Berlin-Heidelberg-New York : Springer-Verlag, 1994
Vydanie:1. vyd.
Edícia:Springer Lehrbuch
Témy:
ISBN: 3540574794 (brož.)
Fyzický popis: 258 s.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý kto otaguje tento záznam!

Skenovanie dokumentov z fondu ŠVK - Slovenské technické normy (STN) nekopírujeme

Objednať si môžete skeny článkov z časopisov, častí kníh (maximálne do 20% obsahu celého dokumentu) za účelom vzdelávania, výskumu a bádania v súlade so zákonom o ochrane autorských práv... čítajte ďalej

Žiadanka na skenovanie
Celkový počet rezervácií: 0
 Status   Požičané do   Čiarový kód
Signatúra 
 Umiestnenie  Popis
Zoradiť podľa
Poznámky
Absenčne  Požiadavka 26591-10
IV.169614
Výpožičný pult Hlavná 10
Absenčne  Požiadavka 26591-20
IV.170967
Výpožičný pult Hlavná 10