Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Verifying Concurrent Processes Using Temporal Logic

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Libristo kód: 01557740
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Kniha Brožovaná
common.buy 208 Kč
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Kniha Brožovaná
common.buy 355 Kč
Elsket, utvalgt og hel - En 30-dagers reise fra avvisning til gjenopprettelse Comfort Ladi Ogbe / Kniha Brožovaná
common.buy 547 Kč
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Kniha binding.
common.buy 1 203 Kč
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Kniha Brožovaná
common.buy 569 Kč
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-kniha Adobe ePub DRM
common.buy 196 Kč
Bibliotheken Candida Höfer / Kniha Pevná
common.buy 1 793 Kč
Raději zešílet v divočině Aleš Palán / Kniha Pevná
common.buy 811 Kč
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Tiskovina Mapa
common.buy 142 Kč
Běžkyně Peter May / Kniha Brožovaná
common.buy 209 Kč
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Kniha Brožovaná
common.buy 285 Kč
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Kniha Brožovaná
common.buy 328 Kč
Bree Tannerin Ikinci Hayati Stephenie Meyer / Kniha Brožovaná
common.buy 279 Kč
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Kniha Brožovaná
common.buy 155 Kč
Como disciplinar a tus hijos Roy Lessin / Kniha Brožovaná
common.buy 246 Kč
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Kniha Brožovaná
common.buy 3 157 Kč
Just delicious - Couscous, Bulgur & Co. Sarah Schocke / Kniha Pevná
common.buy 258 Kč
Levně
Pédiatrie en 1000 questions isolées Petat / Kniha Brožovaná
common.buy 100 Kč
Wie der Bär zum Tanzen kam, 1 Audio-CD Katharina Lamprecht / Audio Audio CD
common.buy 433 Kč
Bible / Kniha Brožovaná
common.buy 1 154 Kč
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Kniha Brožovaná
common.buy 651 Kč
Doctor Who. Staffel.4, 6 DVDs David Tennant / Video DVD
common.buy 985 Kč
Akrylová barva Cadence Premium - fuchsiová / 70 ml / Kniha binding.
common.buy 56 Kč
Leer y aprender - Competencias para la Vida LUIS SEPULVEDA / Kniha Brožovaná
common.buy 313 Kč
Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Kniha Brožovaná
common.buy 1 355 Kč
Surgical Anatomy of Head and Neck Jan Helms / Kniha Brožovaná
common.buy 3 220 Kč
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Kniha Brožovaná
common.buy 2 532 Kč
Drive: The Road to Victory Joyz W Riter / Kniha Brožovaná
common.buy 445 Kč
Org Mode 9.2 Reference Manual Carsten Dominik / Kniha Brožovaná
common.buy 424 Kč
Calm with The Very Hungry Caterpillar Eric Carle / Kniha Pevná
common.buy 183 Kč
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Kniha Pevná
common.buy 612 Kč
Michael Faraday Hourly History / Kniha Brožovaná
common.buy 237 Kč
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Tiskovina Karty
common.buy 400 Kč
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Kniha Brožovaná
common.buy 339 Kč
Business Law MACINTYRE EWAN / Kniha Brožovaná
common.buy 1 675 Kč
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Kniha Brožovaná
common.buy 174 Kč
The Devil: His Origin, Greatness and Decadence Albert Reville / Kniha Brožovaná
common.buy 511 Kč
Transformation Donna V / Kniha Brožovaná
common.buy 381 Kč
Up the Downside GLORIA DUNBAR / Kniha Pevná
common.buy 682 Kč
Cybersecurity Exposed Raef Meeuwisse / Kniha Pevná
common.buy 577 Kč
A Short Course of Experiments in Physical Measurement, Vol. 3 of 4 Harold Whiting / Kniha Brožovaná
common.buy 702 Kč
Anyone Can Be Saved David L. Allen / Kniha Pevná
common.buy 830 Kč
Her Majesty the Queen, as Seen by MAC Mark Bryant / Kniha Brožovaná
common.buy 276 Kč
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Kniha Brožovaná
common.buy 428 Kč
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods Neb ). Clarkson Woman's Club (Clarkson / Kniha Pevná
common.buy 619 Kč
Praying for My Future Husband Amelia Vazquez / Kniha Brožovaná
common.buy 340 Kč
Emperor Penguins Howard Gray / Kniha Brožovaná
common.buy 242 Kč
The Times Lives Behind the Screen Times Books / Kniha Pevná
common.buy 488 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?