Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verifying Concurrent Processes Using Temporal Logic

Język AngielskiAngielski
Książka Miękka
Książka Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Kod Libristo: 01557740
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

In das Feuer James Rosone / Książka Miękka
common.buy 66.94 zł
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Książka Miękka
common.buy 107.08 zł
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Książka Miękka
common.buy 207.55 zł
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Prasa Mapa
common.buy 29.80 zł
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Książka Miękka
common.buy 33.11 zł
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Książka binding.
common.buy 418.22 zł
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Książka binding.
common.buy 215.78 zł
Taśma Washi Tape Neon Narcissus / Książka binding.
common.buy 106.48 zł
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Książka Miękka
common.buy 28.90 zł
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Książka Miękka
common.buy 38.03 zł
Bibliotheken Candida Höfer / Książka Twarda
common.buy 319.16 zł
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Książka Miękka
common.buy 126.15 zł
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Książka Miękka
common.buy 102.16 zł
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 34.12 zł
Si te vuelvo a ver manana Robbie Couch / E-book Adobe ePub DRM
common.buy 41.84 zł
Alimentární infekce Václav Vacek / Książka Twarda
common.buy 23.68 zł
De La Signification Des Mots, Volume 2... Auguste Savagner / Książka Twarda
common.buy 154.16 zł
Como disciplinar a tus hijos Roy Lessin / Książka Miękka
common.buy 45.76 zł
Běžkyně Peter May / Książka Miękka
common.buy 14.14 zł
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Książka Miękka
common.buy 25.18 zł
Bree Tannerin Ikinci Hayati Stephenie Meyer / Książka Miękka
common.buy 51.68 zł
Les Cent Vingt Journées de Sodome Marquis de Sade / Książka Miękka
common.buy 89.32 zł
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Książka Miękka
common.buy 60.91 zł
Veure, tocar i aprendre. Vesteix-te! Diversos / Książka Miękka
common.buy 45.56 zł
Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verifying Concurrent Processes Using Temporal Logic
Autor B. T. Hailpern
Język Angielski
Oprawa Książka - Miękka
Liczba stron 209
EAN 9783540112051
ISBN 3540112057
Kod Libristo 01557740
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 700
Wymiary 155 x 233 x 13

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Książka Miękka
common.buy 247.90 zł
Surgical Anatomy of Head and Neck Jan Helms / Książka Miękka
common.buy 597.58 zł
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Książka Twarda
common.buy 113.91 zł
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 / Książka Miękka
common.buy 69.04 zł
Data Mining Patterns Maguelonne Teisseire / Książka Twarda
common.buy 768.21 zł
Gruffalo Julia Donaldson / Książka Książka
common.buy 86.21 zł
One Man's Dream: My Town, My Team, My Time. Frank White / Książka Twarda
common.buy 94.74 zł
Francis Asbury: Circuit Rider Janet Benge / Książka Miękka
common.buy 42.04 zł
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Książka Miękka
common.buy 79.88 zł
Her Majesty the Queen, as Seen by MAC Mark Bryant / Książka Miękka
common.buy 54.69 zł
Cybersecurity Exposed Raef Meeuwisse / Książka Twarda
common.buy 106.38 zł
The Devil: His Origin, Greatness and Decadence Albert Reville / Książka Miękka
common.buy 94.03 zł
Drive: The Road to Victory Joyz W Riter / Książka Miękka
common.buy 81.99 zł
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Książka Miękka
common.buy 62.72 zł
TOP
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Prasa Karty
common.buy 77.27 zł
Anyone Can Be Saved David L. Allen / Książka Twarda
common.buy 151.04 zł
Calm with The Very Hungry Caterpillar Eric Carle / Książka Twarda
common.buy 35.72 zł
Org Mode 9.2 Reference Manual Carsten Dominik / Książka Miękka
common.buy 76.17 zł
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Książka Miękka
common.buy 31.91 zł
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Książka Miękka
common.buy 85.70 zł
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Książka Miękka
common.buy 86.01 zł
Tanie
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Książka Miękka
common.buy 160.78 zł
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Książka Miękka
common.buy 85.10 zł
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-book Adobe ePub DRM
common.buy 1 015.61 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?