Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Verifying Concurrent Processes Using Temporal Logic

Name: Verifying Concurrent Processes Using Temporal Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01557740
Price: 1540 CZK
Availability: InStock

B. T. Hailpern

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01557740

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Libristo kód: 01557740

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Truth About Sexual Behavior and Unplanned Pregnancy Fred. L. Peterson

/ Pevná

1 412 Kč

Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales

/ Brožovaná

1 102 Kč

Strength and Compassion in Kidney Failure Eli A. Friedman

/ Pevná

4 671 Kč

Bibliotheken Candida Höfer

/ Pevná

1 887 Kč

Turning Richard Eyre

/ Brožovaná

397 Kč

Christmas Songs for Bass Hal Leonard Corp

/ Kniha

337 Kč

Property Law and Human Rights Rook

/ Brožovaná

4 233 Kč

Informace o knize

Plný název Verifying Concurrent Processes Using Temporal Logic

Autor B. T. Hailpern

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Počet stran 209

EAN 9783540112051

ISBN 3540112057

Libristo kód 01557740

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 700

Rozměry 155 x 233 x 13

Kategorie

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce