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 182 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 207 Kč
In das Feuer James Rosone / Kniha Brožovaná
common.buy 358 Kč
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Kniha Brožovaná
common.buy 555 Kč
Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad Alfredo Rodríguez Gurtubay / Kniha Brožovaná
common.buy 638 Kč
Taśma Washi Tape Neon Narcissus / Kniha binding.
common.buy 686 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 290 Kč
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Kniha Brožovaná
common.buy 685 Kč
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Tiskovina Mapa
common.buy 169 Kč
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Kniha binding.
common.buy 1 226 Kč
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Kniha Brožovaná
common.buy 606 Kč
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-kniha Adobe ePub DRM
common.buy 197 Kč
Si te vuelvo a ver manana Robbie Couch / E-kniha Adobe ePub DRM
common.buy 240 Kč
Bibliotheken Candida Höfer / Kniha Pevná
common.buy 1 816 Kč
Alimentární infekce Václav Vacek / Kniha Pevná
common.buy 135 Kč
De La Signification Des Mots, Volume 2... Auguste Savagner / Kniha Pevná
common.buy 837 Kč
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Kniha Brožovaná
common.buy 139 Kč
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Kniha Brožovaná
common.buy 339 Kč
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Kniha Brožovaná
common.buy 651 Kč
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Kniha Brožovaná
common.buy 794 Kč
Just delicious - Couscous, Bulgur & Co. Sarah Schocke / Kniha Pevná
common.buy 208 Kč
Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3) Ulrike Rogler / Audio Audio CD
common.buy 307 Kč
Elle voulait juste marcher tout droit Sarah Barukh / Kniha Brožovaná
common.buy 317 Kč
Běžkyně Peter May / Kniha Brožovaná
common.buy 74 Kč
Wie der Bär zum Tanzen kam, 1 Audio-CD Katharina Lamprecht / Audio Audio CD
common.buy 433 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 349 Kč
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Kniha Brožovaná
common.buy 2 533 Kč
Surgical Anatomy of Head and Neck Jan Helms / Kniha Brožovaná
common.buy 3 222 Kč
Drive: The Road to Victory Joyz W Riter / Kniha Brožovaná
common.buy 445 Kč
Calm with The Very Hungry Caterpillar Eric Carle / Kniha Pevná
common.buy 179 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č
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Tiskovina Karty
common.buy 412 Kč
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Kniha Brožovaná
common.buy 339 Kč
Org Mode 9.2 Reference Manual Carsten Dominik / Kniha Brožovaná
common.buy 414 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č
Cybersecurity Exposed Raef Meeuwisse / Kniha Pevná
common.buy 577 Kč
Anyone Can Be Saved David L. Allen / Kniha Pevná
common.buy 809 Kč
Her Majesty the Queen, as Seen by MAC Mark Bryant / Kniha Brožovaná
common.buy 274 Kč
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Kniha Brožovaná
common.buy 429 Kč
Francis Asbury: Circuit Rider Janet Benge / Kniha Brožovaná
common.buy 225 Kč
Too Deep for Words Thelma Hall / Kniha Brožovaná
common.buy 274 Kč
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Kniha Brožovaná
common.buy 173 Kč
North Cape 1943 Edouard A. Groult / Kniha Brožovaná
common.buy 401 Kč
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Kniha Brožovaná
common.buy 458 Kč
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Kniha Brožovaná
common.buy 467 Kč
Levně
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Kniha Brožovaná
common.buy 918 Kč
Hardest Job in the World DICKERSON JOHN / Kniha Brožovaná
common.buy 372 Kč
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Kniha Brožovaná
common.buy 448 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?