Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verifying Concurrent Processes Using Temporal Logic

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Libristo kod: 01557740
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

In das Feuer James Rosone / Knjiga Meki uvez
common.buy 15.79 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Knjiga Meki uvez
common.buy 24.20 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Knjiga Meki uvez
common.buy 49.01 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Tiskanica Mapa
common.buy 5.66 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Knjiga Meki uvez
common.buy 7.48 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Knjiga binding.
common.buy 94.49 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Knjiga binding.
common.buy 48.71 €
Taśma Washi Tape Neon Narcissus / Knjiga binding.
common.buy 26.73 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Knjiga Meki uvez
common.buy 8.30 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Knjiga Meki uvez
common.buy 9.00 €
Bibliotheken Candida Höfer / Knjiga Tvrdi uvez
common.buy 72.10 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Knjiga Meki uvez
common.buy 29.77 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Knjiga Meki uvez
common.buy 24.10 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-knjiga Adobe ePub DRM
common.buy 7.69 €
Si te vuelvo a ver manana Robbie Couch / E-knjiga Adobe ePub DRM
common.buy 9.41 €
Alimentární infekce Václav Vacek / Knjiga Tvrdi uvez
common.buy 5.56 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Knjiga Tvrdi uvez
common.buy 36.45 €
Como disciplinar a tus hijos Roy Lessin / Knjiga Meki uvez
common.buy 10.83 €
Běžkyně Peter May / Knjiga Meki uvez
common.buy 3.33 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Knjiga Meki uvez
common.buy 5.56 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Knjiga Meki uvez
common.buy 12.24 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Knjiga Meki uvez
common.buy 21.06 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Knjiga Meki uvez
common.buy 14.37 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Knjiga Meki uvez
common.buy 10.22 €
Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verifying Concurrent Processes Using Temporal Logic
Autor B. T. Hailpern
Jezik Engleski
Uvez Knjiga - Meki uvez
Broj stranica 209
EAN 9783540112051
ISBN 3540112057
Libristo kod 01557740
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 700
Dimenzije 155 x 233 x 13

Kategorija

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

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

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?