Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 01. marca 1982
V prípade, že obal a názov nesedia, platí názov

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 10. - 20. apr

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

209 pages, biography

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 01. marca 1982
ISBN13 9783540112051
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 209
Rozmery 155 × 233 × 11 mm   ·   312 g
Jazyk Angličtina  

Pozrieť všetko od B. T. Hailpern ( napr. Paperback Book )