Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Verifying Concurrent Processes Using Temporal Logic

Language EnglishEnglish
Book Paperback
Book Verifying Concurrent Processes Using Temporal Logic B. T. Hailpern
Libristo code: 01557740
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
? points 132 b
54.09 €
105.80  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Book Paperback
common.buy 9.05 € 17.69 лв
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Book Paperback
common.buy 14.60 € 28.55 лв
Elsket, utvalgt og hel - En 30-dagers reise fra avvisning til gjenopprettelse Comfort Ladi Ogbe / Book Paperback
common.buy 23.65 € 46.26 лв
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Book binding.
common.buy 51.52 € 100.77 лв
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Book Paperback
common.buy 24.58 € 48.07 лв
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 8.48 € 16.59 лв
Bibliotheken Candida Höfer / Book Hardback
common.buy 76.87 € 150.35 лв
Raději zešílet v divočině Aleš Palán / Book Hardback
common.buy 32.65 € 63.86 лв
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Printed items Map
common.buy 5.91 € 11.56 лв
Běžkyně Peter May / Book Paperback
common.buy 8.58 € 16.79 лв
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Book Paperback
common.buy 12.18 € 23.83 лв
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Book Paperback
common.buy 15.11 € 29.56 лв
Bree Tannerin Ikinci Hayati Stephenie Meyer / Book Paperback
common.buy 12.75 € 24.94 лв
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Book Paperback
common.buy 6.27 € 12.26 лв
Como disciplinar a tus hijos Roy Lessin / Book Paperback
common.buy 10.74 € 21.01 лв
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Book Paperback
common.buy 145.94 € 285.43 лв
Just delicious - Couscous, Bulgur & Co. Sarah Schocke / Book Hardback
common.buy 11.15 € 21.82 лв
Affordable
Pédiatrie en 1000 questions isolées Petat / Book Paperback
common.buy 4.11 € 8.04 лв
Wie der Bär zum Tanzen kam, 1 Audio-CD Katharina Lamprecht / Audio Audio CD
common.buy 19.90 € 38.91 лв
Bible / Book Paperback
common.buy 52.34 € 102.38 лв
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Book Paperback
common.buy 28.18 € 55.11 лв
Doctor Who. Staffel.4, 6 DVDs David Tennant / Video DVD
common.buy 42.32 € 82.77 лв
Akrylová barva Cadence Premium - fuchsiová / 70 ml / Book binding.
common.buy 2.87 € 5.62 лв
Leer y aprender - Competencias para la Vida LUIS SEPULVEDA / Book Paperback
common.buy 13.42 € 26.24 лв
Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verifying Concurrent Processes Using Temporal Logic
Author B. T. Hailpern
Language English
Binding Book - Paperback
Number of pages 209
EAN 9783540112051
ISBN 3540112057
Libristo code 01557740
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 700
Dimensions 155 x 233 x 13

Categories

Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Iterative Software Engineering for Multiagent Systems Jürgen Lind / Book Paperback
common.buy 58.31 € 114.05 лв
Surgical Anatomy of Head and Neck Jan Helms / Book Paperback
common.buy 147.89 € 289.25 лв
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Book Paperback
common.buy 116.32 € 227.50 лв
Drive: The Road to Victory Joyz W Riter / Book Paperback
common.buy 19.24 € 37.62 лв
Org Mode 9.2 Reference Manual Carsten Dominik / Book Paperback
common.buy 18.35 € 35.90 лв
Calm with The Very Hungry Caterpillar Eric Carle / Book Hardback
common.buy 8.58 € 16.79 лв
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Book Hardback
common.buy 28.28 € 55.31 лв
Michael Faraday Hourly History / Book Paperback
common.buy 10.28 € 20.11 лв
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Printed items Cards
common.buy 20.15 € 39.42 лв
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Book Paperback
common.buy 14.71 € 28.77 лв
Business Law MACINTYRE EWAN / Book Paperback
common.buy 75.95 € 148.54 лв
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Book Paperback
common.buy 7.45 € 14.58 лв
The Devil: His Origin, Greatness and Decadence Albert Reville / Book Paperback
common.buy 22.06 € 43.16 лв
Transformation Donna V / Book Paperback
common.buy 16.51 € 32.29 лв
Up the Downside GLORIA DUNBAR / Book Hardback
common.buy 31.00 € 60.64 лв
Cybersecurity Exposed Raef Meeuwisse / Book Hardback
common.buy 24.94 € 48.77 лв
A Short Course of Experiments in Physical Measurement, Vol. 3 of 4 Harold Whiting / Book Paperback
common.buy 31.63 € 61.87 лв
Anyone Can Be Saved David L. Allen / Book Hardback
common.buy 36.35 € 71.10 лв
Her Majesty the Queen, as Seen by MAC Mark Bryant / Book Paperback
common.buy 11.36 € 22.22 лв
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Book Paperback
common.buy 19.79 € 38.71 лв
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods Neb ). Clarkson Woman's Club (Clarkson / Book Hardback
common.buy 26.74 € 52.29 лв
Praying for My Future Husband Amelia Vazquez / Book Paperback
common.buy 14.75 € 28.86 лв
Emperor Penguins Howard Gray / Book Paperback
common.buy 11.16 € 21.82 лв
The Times Lives Behind the Screen Times Books / Book Hardback
common.buy 21.39 € 41.83 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?