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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

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
287.15 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

In das Feuer James Rosone / Carte Carte broșată
common.buy 88.24 lei
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Carte Carte broșată
common.buy 45.11 lei
Taśma Washi Tape Neon Narcissus / Carte binding.
common.buy 149.59 lei
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Carte binding.
common.buy 266.42 lei
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Carte Carte broșată
common.buy 164.56 lei
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Carte Carte broșată
common.buy 157.12 lei
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Carte Carte broșată
common.buy 133.15 lei
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 42.70 lei
Si te vuelvo a ver manana Robbie Couch / E-book Adobe ePub DRM
common.buy 52.12 lei
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Materiale tipărite Hartă
common.buy 31.40 lei
Bibliotheken Candida Höfer / Carte Copertă tare
common.buy 394.97 lei
Alimentární infekce Václav Vacek / Carte Copertă tare
common.buy 31.19 lei
De La Signification Des Mots, Volume 2... Auguste Savagner / Carte Copertă tare
common.buy 200.99 lei
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Carte Carte broșată
common.buy 31.40 lei
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Carte Carte broșată
common.buy 73.06 lei
Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3) Ulrike Rogler / Audio Audio CD
common.buy 75.16 lei
Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad Alfredo Rodríguez Gurtubay / Carte Carte broșată
common.buy 138.18 lei
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Carte Carte broșată
common.buy 62.80 lei
La Mirora mata els dimarts Josep . . . [et al. ] Torrent / Carte Carte broșată
common.buy 106.35 lei
Veure, tocar i aprendre. Vesteix-te! Diversos / Carte Carte broșată
common.buy 56.00 lei
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Carte Carte broșată
common.buy 80.18 lei
Bree Tannerin Ikinci Hayati Stephenie Meyer / Carte Carte broșată
common.buy 67.62 lei
Como disciplinar a tus hijos Roy Lessin / Carte Carte broșată
common.buy 60.19 lei
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Carte Carte broșată
common.buy 194.71 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 308.50 lei
Surgical Anatomy of Head and Neck Jan Helms / Carte Carte broșată
common.buy 784.62 lei
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Carte Carte broșată
common.buy 616.70 lei
Drive: The Road to Victory Joyz W Riter / Carte Carte broșată
common.buy 107.29 lei
Calm with The Very Hungry Caterpillar Eric Carle / Carte Copertă tare
common.buy 47.31 lei
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Carte Copertă tare
common.buy 150.01 lei
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Materiale tipărite Cărți
common.buy 102.27 lei
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Carte Carte broșată
common.buy 81.96 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.86 lei
The Devil: His Origin, Greatness and Decadence Albert Reville / Carte Carte broșată
common.buy 122.68 lei
Transformation Donna V / Carte Carte broșată
common.buy 92.01 lei
Cybersecurity Exposed Raef Meeuwisse / Carte Copertă tare
common.buy 138.60 lei
Anyone Can Be Saved David L. Allen / Carte Copertă tare
common.buy 199.73 lei
Her Majesty the Queen, as Seen by MAC Mark Bryant / Carte Carte broșată
common.buy 59.03 lei
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Carte Carte broșată
common.buy 105.09 lei
Francis Asbury: Circuit Rider Janet Benge / Carte Carte broșată
common.buy 55.58 lei
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Carte Carte broșată
common.buy 97.04 lei
Emperor Penguins Howard Gray / Carte Carte broșată
common.buy 59.03 lei
Torchwood #83 Disco Gareth David-Lloyd / Audio Audio CD
common.buy 61.23 lei
Machine Translation and Foreign Language Learning Kizito Tekwa / E-book Adobe ePub DRM
common.buy 989.49 lei
Paper World: Ocean Ruth Symons / Carte Copertă tare
common.buy 100.91 lei
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-book Adobe ePub DRM
common.buy 1 273.40 lei
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods Neb ). Clarkson Woman's Club (Clarkson / Carte Copertă tare
common.buy 148.86 lei
Org Mode 9.2 Reference Manual Carsten Dominik / Carte Carte broșată
common.buy 99.44 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?