Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verifying Concurrent Processes Using Temporal Logic

Limba englezăengleză
Carte Carte broșată
Carte Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Codul Libristo: 01557740
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

In das Feuer James Rosone / Carte Carte broșată
common.buy 87.90 lei
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Carte Carte broșată
common.buy 132.63 lei
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Carte Carte broșată
common.buy 272.26 lei
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Materiale tipărite Hartă
common.buy 36.90 lei
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Carte Carte broșată
common.buy 41.07 lei
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Carte binding.
common.buy 518.36 lei
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Carte binding.
common.buy 267.57 lei
Taśma Washi Tape Neon Narcissus / Carte binding.
common.buy 149.00 lei
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Carte Carte broșată
common.buy 46.29 lei
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Carte Carte broșată
common.buy 49.73 lei
Bibliotheken Candida Höfer / Carte Copertă tare
common.buy 395.62 lei
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Carte Carte broșată
common.buy 163.92 lei
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Carte Carte broșată
common.buy 132.63 lei
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 42.33 lei
Si te vuelvo a ver manana Robbie Couch / E-book Adobe ePub DRM
common.buy 52.13 lei
Alimentární infekce Václav Vacek / Carte Copertă tare
common.buy 31.06 lei
De La Signification Des Mots, Volume 2... Auguste Savagner / Carte Copertă tare
common.buy 200.20 lei
Como disciplinar a tus hijos Roy Lessin / Carte Carte broșată
common.buy 59.95 lei
Běžkyně Peter May / Carte Carte broșată
common.buy 18.66 lei
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Carte Carte broșată
common.buy 31.27 lei
Bree Tannerin Ikinci Hayati Stephenie Meyer / Carte Carte broșată
common.buy 67.56 lei
Les Cent Vingt Journées de Sodome Marquis de Sade / Carte Carte broșată
common.buy 116.36 lei
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Carte Carte broșată
common.buy 79.87 lei
Veure, tocar i aprendre. Vesteix-te! Diversos / Carte Carte broșată
common.buy 56.40 lei
Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verifying Concurrent Processes Using Temporal Logic
Autor B. T. Hailpern
Limba engleză
Legare Carte - Carte broșată
Număr pagini 209
EAN 9783540112051
ISBN 3540112057
Codul Libristo 01557740
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 700
Dimensiuni 155 x 233 x 13

Categorii

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Carte Carte broșată
common.buy 307.30 lei
Surgical Anatomy of Head and Neck Jan Helms / Carte Carte broșată
common.buy 781.55 lei
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Carte Copertă tare
common.buy 149.42 lei
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 / Carte Carte broșată
common.buy 89.88 lei
Data Mining Patterns Maguelonne Teisseire / Carte Copertă tare
common.buy 1 002.41 lei
Gruffalo Julia Donaldson / Carte Carte
common.buy 106.88 lei
One Man's Dream: My Town, My Team, My Time. Frank White / Carte Copertă tare
common.buy 123.98 lei
Francis Asbury: Circuit Rider Janet Benge / Carte Carte broșată
common.buy 55.36 lei
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Carte Carte broșată
common.buy 104.68 lei
Her Majesty the Queen, as Seen by MAC Mark Bryant / Carte Carte broșată
common.buy 67.77 lei
Cybersecurity Exposed Raef Meeuwisse / Carte Copertă tare
common.buy 138.05 lei
The Devil: His Origin, Greatness and Decadence Albert Reville / Carte Carte broșată
common.buy 122.20 lei
Drive: The Road to Victory Joyz W Riter / Carte Carte broșată
common.buy 106.88 lei
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Carte Carte broșată
common.buy 81.64 lei
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Materiale tipărite Cărți
common.buy 101.87 lei
Anyone Can Be Saved David L. Allen / Carte Copertă tare
common.buy 198.95 lei
Calm with The Very Hungry Caterpillar Eric Carle / Carte Copertă tare
common.buy 47.12 lei
Org Mode 9.2 Reference Manual Carsten Dominik / Carte Carte broșată
common.buy 99.05 lei
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Carte Carte broșată
common.buy 41.70 lei
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Carte Carte broșată
common.buy 112.71 lei
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Carte Carte broșată
common.buy 111.78 lei
Leftin
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Carte Carte broșată
common.buy 199.37 lei
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Carte Carte broșată
common.buy 105.52 lei
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-book Adobe ePub DRM
common.buy 1 260.61 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo