Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

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: 61.56 EUR
Availability: InStock

B. T. Hailpern

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01557740

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Libristo kód: 01557740

154 b

61.56 €

Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Bibliotheken Candida Höfer

/ Pevná

75.41 €

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

/ Brožovaná

43.97 €

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

/ Pevná

56.40 €

Strength and Compassion in Kidney Failure Eli A. Friedman

/ Pevná

186.62 €

Property Law and Human Rights Rook

/ Brožovaná

169.13 €

Christmas Songs for Bass Hal Leonard Corp

/ Kniha

13.44 €

Turning Richard Eyre

/ Brožovaná

15.86 €

Informácie o knihe

Celý názov Verifying Concurrent Processes Using Temporal Logic

Autor B. T. Hailpern

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Počet strán 209

EAN 9783540112051

ISBN 3540112057

Libristo kód 01557740

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 700

Rozmery 155 x 233 x 13

Kategórie

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca