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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

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 111 b
45.49 € včetně DPH
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

In das Feuer James Rosone / Książka Miękka
common.buy 21.50 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Książka Miękka
common.buy 6.39 €
Taśma Washi Tape Neon Narcissus / Książka binding.
common.buy 21.69 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Książka binding.
common.buy 41.29 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Książka Miękka
common.buy 25.09 €
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Książka Miękka
common.buy 23.69 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Książka Miękka
common.buy 20.29 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 6.69 €
Si te vuelvo a ver manana Robbie Couch / E-book Adobe ePub DRM
common.buy 8.29 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Prasa Mapa
common.buy 5.09 €
Bibliotheken Candida Höfer / Książka Twarda
common.buy 61.19 €
Alimentární infekce Václav Vacek / Książka Twarda
common.buy 4.89 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Książka Twarda
common.buy 30.69 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Książka Miękka
common.buy 5.29 €
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Książka Miękka
common.buy 11.19 €
Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3) Ulrike Rogler / Audio CD Audio
common.buy 14.99 €
Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad Alfredo Rodríguez Gurtubay / Książka Miękka
common.buy 21.69 €
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Książka Miękka
common.buy 9.79 €
La Mirora mata els dimarts Josep . . . [et al. ] Torrent / Książka Miękka
common.buy 16.49 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Książka Miękka
common.buy 8.59 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Książka Miękka
common.buy 15.90 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Książka Miękka
common.buy 10.79 €
Como disciplinar a tus hijos Roy Lessin / Książka Miękka
common.buy 8.79 €
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Książka Miękka
common.buy 30.39 €
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 49.99 €
Surgical Anatomy of Head and Neck Jan Helms / Książka Miękka
common.buy 123.89 €
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Książka Miękka
common.buy 97.39 €
Drive: The Road to Victory Joyz W Riter / Książka Miękka
common.buy 16.19 €
Calm with The Very Hungry Caterpillar Eric Carle / Książka Twarda
common.buy 6.79 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Książka Twarda
common.buy 23.49 €
TOP
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Prasa Karty
common.buy 14.49 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Książka Miękka
common.buy 12.39 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Książka Miękka
common.buy 7.79 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Książka Miękka
common.buy 18.69 €
Transformation Donna V / Książka Miękka
common.buy 13.89 €
Cybersecurity Exposed Raef Meeuwisse / Książka Twarda
common.buy 21.19 €
Anyone Can Be Saved David L. Allen / Książka Twarda
common.buy 28.59 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Książka Miękka
common.buy 8.29 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Książka Miękka
common.buy 16.39 €
Francis Asbury: Circuit Rider Janet Benge / Książka Miękka
common.buy 7.99 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Książka Miękka
common.buy 13.59 €
Emperor Penguins Howard Gray / Książka Miękka
common.buy 9.29 €
Torchwood #83 Disco Gareth David-Lloyd / Audio CD Audio
common.buy 9.29 €
Machine Translation and Foreign Language Learning Kizito Tekwa / E-book Adobe ePub DRM
common.buy 158.99 €
Paper World: Ocean Ruth Symons / Książka Twarda
common.buy 14.39 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-book Adobe ePub DRM
common.buy 204.59 €
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods Neb ). Clarkson Woman's Club (Clarkson / Książka Twarda
common.buy 22.69 €
Org Mode 9.2 Reference Manual Carsten Dominik / Książka Miękka
common.buy 15.19 €

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?