Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 11.02 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

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: 262.26 PLN
Availability: InStock

B. T. Hailpern

Język

Angielski

Książka Miękka

Kod Libristo: 01557740

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Kod Libristo: 01557740

154 b

262.26 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

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

/ Twarda

230.07 zł

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

/ Miękka

187.69 zł

Strength and Compassion in Kidney Failure Eli A. Friedman

/ Twarda

795.58 zł

Bibliotheken Candida Höfer

/ Twarda

321.43 zł

Turning Richard Eyre

/ Miękka

67.65 zł

Christmas Songs for Bass Hal Leonard Corp

/ Książka

57.36 zł

Property Law and Human Rights Rook

/ Miękka

689.84 zł

Informacje o książce

Pełna nazwa Verifying Concurrent Processes Using Temporal Logic

Autor B. T. Hailpern

Język

Angielski

Oprawa Książka - Miękka

Liczba stron 209

EAN 9783540112051

ISBN 3540112057

Kod Libristo 01557740

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 700

Wymiary 155 x 233 x 13

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów