Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

In das Feuer James Rosone / Kniha Brožovaná
common.buy 14.78 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Kniha Brožovaná
common.buy 25.31 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Kniha Brožovaná
common.buy 49.01 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Tlačovina Mapa
common.buy 5.66 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Kniha Brožovaná
common.buy 7.79 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Kniha binding.
common.buy 98.74 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Kniha binding.
common.buy 50.94 €
Taśma Washi Tape Neon Narcissus / Kniha binding.
common.buy 28.35 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Kniha Brožovaná
common.buy 8.80 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Kniha Brožovaná
common.buy 9.00 €
Bibliotheken Candida Höfer / Kniha Pevná
common.buy 75.34 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Kniha Brožovaná
common.buy 28.35 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Kniha Brožovaná
common.buy 22.98 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-kniha Adobe ePub DRM
common.buy 8.09 €
Si te vuelvo a ver manana Robbie Couch / E-kniha Adobe ePub DRM
common.buy 9.92 €
Alimentární infekce Václav Vacek / Kniha Pevná
common.buy 4.95 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Kniha Pevná
common.buy 34.63 €
Como disciplinar a tus hijos Roy Lessin / Kniha Brožovaná
common.buy 10.22 €
Běžkyně Peter May / Kniha Brožovaná
common.buy 7.48 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Kniha Brožovaná
common.buy 5.76 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Kniha Brožovaná
common.buy 12.24 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Kniha Brožovaná
common.buy 20.04 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Kniha Brožovaná
common.buy 14.37 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Kniha Brožovaná
common.buy 10.73 €
Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

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

Mohlo by vás tiež zaujímať

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Kniha Brožovaná
common.buy 55.90 €
Surgical Anatomy of Head and Neck Jan Helms / Kniha Brožovaná
common.buy 141.18 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Kniha Pevná
common.buy 26.93 €
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 15.49 €
Data Mining Patterns Maguelonne Teisseire / Kniha Pevná
common.buy 191.01 €
Gruffalo Julia Donaldson / Kniha Kniha
common.buy 17.71 €
One Man's Dream: My Town, My Team, My Time. Frank White / Kniha Pevná
common.buy 22.37 €
Francis Asbury: Circuit Rider Janet Benge / Kniha Brožovaná
common.buy 9.31 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Kniha Brožovaná
common.buy 18.83 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Kniha Brožovaná
common.buy 12.85 €
Cybersecurity Exposed Raef Meeuwisse / Kniha Pevná
common.buy 23.89 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Kniha Brožovaná
common.buy 21.16 €
Drive: The Road to Victory Joyz W Riter / Kniha Brožovaná
common.buy 18.42 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Kniha Brožovaná
common.buy 14.07 €
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Tlačovina Karty
common.buy 17.01 €
Anyone Can Be Saved David L. Allen / Kniha Pevná
common.buy 33.51 €
Calm with The Very Hungry Caterpillar Eric Carle / Kniha Pevná
common.buy 7.89 €
Org Mode 9.2 Reference Manual Carsten Dominik / Kniha Brožovaná
common.buy 17.11 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Kniha Brožovaná
common.buy 7.18 €
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Kniha Brožovaná
common.buy 18.93 €
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Kniha Brožovaná
common.buy 19.33 €
Lacno
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Kniha Brožovaná
common.buy 37.97 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Kniha Brožovaná
common.buy 20.15 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-kniha Adobe ePub DRM
common.buy 239.93 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?