Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Verifying Concurrent Processes Using Temporal Logic

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Koda Libristo: 01557740
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

In das Feuer James Rosone / Knjiga Mehka
common.buy 14.78 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Knjiga Mehka
common.buy 23.08 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Knjiga Mehka
common.buy 46.18 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Tiskani izdelki Zemljevid
common.buy 6.37 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Knjiga Mehka
common.buy 7.08 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Knjiga binding.
common.buy 90.23 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Knjiga binding.
common.buy 46.58 €
Taśma Washi Tape Neon Narcissus / Knjiga binding.
common.buy 25.11 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Knjiga Mehka
common.buy 7.79 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Knjiga Mehka
common.buy 8.40 €
Bibliotheken Candida Höfer / Knjiga Trda
common.buy 68.76 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Knjiga Mehka
common.buy 28.35 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Knjiga Mehka
common.buy 22.98 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-knjiga Adobe ePub DRM
common.buy 7.18 €
Si te vuelvo a ver manana Robbie Couch / E-knjiga Adobe ePub DRM
common.buy 8.90 €
Alimentární infekce Václav Vacek / Knjiga Trda
common.buy 5.26 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Knjiga Trda
common.buy 34.63 €
Como disciplinar a tus hijos Roy Lessin / Knjiga Mehka
common.buy 10.22 €
Běžkyně Peter May / Knjiga Mehka
common.buy 3.13 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Knjiga Mehka
common.buy 5.26 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Knjiga Mehka
common.buy 11.54 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Knjiga Mehka
common.buy 20.04 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Knjiga Mehka
common.buy 13.56 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Knjiga Mehka
common.buy 9.71 €
Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Verifying Concurrent Processes Using Temporal Logic
Avtor B. T. Hailpern
Jezik Angleščina
Vezava Knjiga - Mehka
Število strani 209
EAN 9783540112051
ISBN 3540112057
Koda Libristo 01557740
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 700
Mere 155 x 233 x 13

Kategorije

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

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

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?