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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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ů

30 dní na vrácení zboží

Zákazníci také koupili

In das Feuer James Rosone / Kniha Brožovaná
common.buy 358 Kč
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Kniha Brožovaná
common.buy 611 Kč
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Kniha Brožovaná
common.buy 1 115 Kč
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Tiskovina Mapa
common.buy 170 Kč
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Kniha Brožovaná
common.buy 189 Kč
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Kniha binding.
common.buy 2 387 Kč
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Kniha binding.
common.buy 1 232 Kč
Taśma Washi Tape Neon Narcissus / Kniha binding.
common.buy 686 Kč
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Kniha Brožovaná
common.buy 213 Kč
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Kniha Brožovaná
common.buy 204 Kč
Bibliotheken Candida Höfer / Kniha Pevná
common.buy 1 822 Kč
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Kniha Brožovaná
common.buy 685 Kč
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Kniha Brožovaná
common.buy 555 Kč
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-kniha Adobe ePub DRM
common.buy 195 Kč
Si te vuelvo a ver manana Robbie Couch / E-kniha Adobe ePub DRM
common.buy 240 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č
Como disciplinar a tus hijos Roy Lessin / Kniha Brožovaná
common.buy 246 Kč
Běžkyně Peter May / Kniha Brožovaná
common.buy 110 Kč
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Kniha Brožovaná
common.buy 139 Kč
Bree Tannerin Ikinci Hayati Stephenie Meyer / Kniha Brožovaná
common.buy 280 Kč
Les Cent Vingt Journées de Sodome Marquis de Sade / Kniha Brožovaná
common.buy 484 Kč
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Kniha Brožovaná
common.buy 328 Kč
Veure, tocar i aprendre. Vesteix-te! Diversos / Kniha Brožovaná
common.buy 260 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 352 Kč
Surgical Anatomy of Head and Neck Jan Helms / Kniha Brožovaná
common.buy 3 222 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č
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq. Andrew Robinson Stoney Bowes / Kniha Brožovaná
common.buy 375 Kč
Data Mining Patterns Maguelonne Teisseire / Kniha Pevná
common.buy 4 385 Kč
Gruffalo Julia Donaldson / Kniha Kniha
common.buy 492 Kč
One Man's Dream: My Town, My Team, My Time. Frank White / Kniha Pevná
common.buy 511 Kč
Francis Asbury: Circuit Rider Janet Benge / Kniha Brožovaná
common.buy 225 Kč
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Kniha Brožovaná
common.buy 429 Kč
Her Majesty the Queen, as Seen by MAC Mark Bryant / Kniha Brožovaná
common.buy 312 Kč
Cybersecurity Exposed Raef Meeuwisse / Kniha Pevná
common.buy 577 Kč
The Devil: His Origin, Greatness and Decadence Albert Reville / Kniha Brožovaná
common.buy 511 Kč
Drive: The Road to Victory Joyz W Riter / Kniha Brožovaná
common.buy 445 Kč
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Kniha Brožovaná
common.buy 339 Kč
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Tiskovina Karty
common.buy 412 Kč
Anyone Can Be Saved David L. Allen / Kniha Pevná
common.buy 809 Kč
Calm with The Very Hungry Caterpillar Eric Carle / Kniha Pevná
common.buy 179 Kč
Org Mode 9.2 Reference Manual Carsten Dominik / Kniha Brožovaná
common.buy 414 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č
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č
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Kniha Brožovaná
common.buy 486 Kč
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-kniha Adobe ePub DRM
common.buy 5 805 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