Temporal Logic in Specification

Temporal Logic in Specification

AngličtinaMěkká vazba
Springer, Berlin
EAN: 9783540518037
Na objednávku
Předpokládané dodání v pondělí, 10. června 2024
1 317 Kč
Běžná cena: 1 463 Kč
Sleva 10 %
ks
Chcete tento titul ještě dnes?
knihkupectví Megabooks Praha Korunní
není dostupné
Librairie Francophone Praha Štěpánská
není dostupné
knihkupectví Megabooks Ostrava
není dostupné
knihkupectví Megabooks Olomouc
není dostupné
knihkupectví Megabooks Plzeň
není dostupné
knihkupectví Megabooks Brno
není dostupné
knihkupectví Megabooks Hradec Králové
není dostupné
knihkupectví Megabooks České Budějovice
není dostupné
EAN 9783540518037
ISBN 3540518037
Typ produktu Měkká vazba
Vydavatel Springer, Berlin
Datum vydání 11. října 1989
Stránky 452
Jazyk English
Rozměry 235 x 155
Země Germany
Sekce Professional & Scholarly
Ilustrace VIII, 452 p.
Editoři Banieqbal Behnam; Barringer, Howard; Pnueli Amir
Edice 1989 ed.
Série Lecture Notes in Computer Science