Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Verifying Concurrent Processes Using Temporal Logic

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Κωδικός Libristo: 01557740
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 125 b
51.69 €
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

In das Feuer James Rosone / Βιβλίο Χαρτόδετο
common.buy 16.68 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Βιβλίο Χαρτόδετο
common.buy 25.28 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Βιβλίο Χαρτόδετο
common.buy 48.96 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Έντυπα Χάρτης
common.buy 6.97 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Βιβλίο Χαρτόδετο
common.buy 7.78 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Βιβλίο binding.
common.buy 98.64 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Βιβλίο binding.
common.buy 50.88 €
Taśma Washi Tape Neon Narcissus / Βιβλίο binding.
common.buy 28.32 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Βιβλίο Χαρτόδετο
common.buy 8.79 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Βιβλίο Χαρτόδετο
common.buy 8.99 €
Bibliotheken Candida Höfer / Βιβλίο Σκληρόδετο
common.buy 75.27 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Βιβλίο Χαρτόδετο
common.buy 31.15 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Βιβλίο Χαρτόδετο
common.buy 25.28 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / ebook Adobe ePub DRM
common.buy 8.08 €
Si te vuelvo a ver manana Robbie Couch / ebook Adobe ePub DRM
common.buy 9.91 €
Alimentární infekce Václav Vacek / Βιβλίο Σκληρόδετο
common.buy 5.86 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Βιβλίο Σκληρόδετο
common.buy 38.13 €
Como disciplinar a tus hijos Roy Lessin / Βιβλίο Χαρτόδετο
common.buy 11.42 €
Běžkyně Peter May / Βιβλίο Χαρτόδετο
common.buy 3.53 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Βιβλίο Χαρτόδετο
common.buy 5.96 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Βιβλίο Χαρτόδετο
common.buy 12.23 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Βιβλίο Χαρτόδετο
common.buy 22.15 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Βιβλίο Χαρτόδετο
common.buy 14.36 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Βιβλίο Χαρτόδετο
common.buy 10.71 €
Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Verifying Concurrent Processes Using Temporal Logic
Συγγραφέας B. T. Hailpern
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Αριθμός σελίδων 209
EAN 9783540112051
ISBN 3540112057
Κωδικός Libristo 01557740
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 700
Διαστάσεις 155 x 233 x 13

Κατηγορία

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Βιβλίο Χαρτόδετο
common.buy 58.47 €
Surgical Anatomy of Head and Neck Jan Helms / Βιβλίο Χαρτόδετο
common.buy 141.03 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Βιβλίο Σκληρόδετο
common.buy 26.90 €
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 / Βιβλίο Χαρτόδετο
common.buy 17.09 €
Data Mining Patterns Maguelonne Teisseire / Βιβλίο Σκληρόδετο
common.buy 209.93 €
Gruffalo Julia Donaldson / Βιβλίο Βιβλίο
common.buy 20.33 €
One Man's Dream: My Town, My Team, My Time. Frank White / Βιβλίο Σκληρόδετο
common.buy 22.35 €
Francis Asbury: Circuit Rider Janet Benge / Βιβλίο Χαρτόδετο
common.buy 10.51 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Βιβλίο Χαρτόδετο
common.buy 18.81 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Βιβλίο Χαρτόδετο
common.buy 12.84 €
Cybersecurity Exposed Raef Meeuwisse / Βιβλίο Σκληρόδετο
common.buy 26.30 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Βιβλίο Χαρτόδετο
common.buy 23.26 €
Drive: The Road to Victory Joyz W Riter / Βιβλίο Χαρτόδετο
common.buy 20.33 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Βιβλίο Χαρτόδετο
common.buy 15.57 €
Τοπ
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Έντυπα Κάρτες
common.buy 19.42 €
Anyone Can Be Saved David L. Allen / Βιβλίο Σκληρόδετο
common.buy 37.83 €
Calm with The Very Hungry Caterpillar Eric Carle / Βιβλίο Σκληρόδετο
common.buy 8.99 €
Org Mode 9.2 Reference Manual Carsten Dominik / Βιβλίο Χαρτόδετο
common.buy 18.81 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Βιβλίο Χαρτόδετο
common.buy 7.88 €
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Βιβλίο Χαρτόδετο
common.buy 21.44 €
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Βιβλίο Χαρτόδετο
common.buy 21.24 €
Φθηνά
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Βιβλίο Χαρτόδετο
common.buy 37.93 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Βιβλίο Χαρτόδετο
common.buy 20.12 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / ebook Adobe ePub DRM
common.buy 239.98 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo