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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 125 b
51.63 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

In das Feuer James Rosone / Book Paperback
common.buy 15.75 €
PRELUDE La jeunesse de Sherlock Holmes 1 Pardeilhan / Book Paperback
common.buy 25.25 €
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs Sahoo Debasish Sahoo / Book Paperback
common.buy 48.90 €
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Printed items Map
common.buy 6.96 €
Quadern Clau Q-9 Divisibilitat. Matematiques. Jimeno Jimenez / Book Paperback
common.buy 7.77 €
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular José Francisco Blasco Lahoz / Book binding.
common.buy 98.52 €
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Book binding.
common.buy 50.82 €
Taśma Washi Tape Neon Narcissus / Book binding.
common.buy 28.28 €
Czwarty schowek Five Nights at Freddy's 3 Cawthon Scott / Book Paperback
common.buy 8.78 €
Einfach Autos zeichnen - Schritt fur Schritt zu perfekten Motiven! Vasco Kintzel / Book Paperback
common.buy 8.98 €
Bibliotheken Candida Höfer / Book Hardback
common.buy 75.17 €
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory Byramji Sorabshaw / Book Paperback
common.buy 29.70 €
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Book Paperback
common.buy 24.04 €
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 8.07 €
Si te vuelvo a ver manana Robbie Couch / E-book Adobe ePub DRM
common.buy 9.89 €
Alimentární infekce Václav Vacek / Book Hardback
common.buy 5.55 €
De La Signification Des Mots, Volume 2... Auguste Savagner / Book Hardback
common.buy 36.37 €
Como disciplinar a tus hijos Roy Lessin / Book Paperback
common.buy 10.80 €
Běžkyně Peter May / Book Paperback
common.buy 3.53 €
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Book Paperback
common.buy 5.95 €
Bree Tannerin Ikinci Hayati Stephenie Meyer / Book Paperback
common.buy 12.22 €
Les Cent Vingt Journées de Sodome Marquis de Sade / Book Paperback
common.buy 21.01 €
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Book Paperback
common.buy 14.34 €
Veure, tocar i aprendre. Vesteix-te! Diversos / Book Paperback
common.buy 10.70 €
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.40 €
Surgical Anatomy of Head and Neck Jan Helms / Book Paperback
common.buy 140.86 €
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Book Hardback
common.buy 26.87 €
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 / Book Paperback
common.buy 16.26 €
Data Mining Patterns Maguelonne Teisseire / Book Hardback
common.buy 200.07 €
Gruffalo Julia Donaldson / Book Book
common.buy 20.30 €
One Man's Dream: My Town, My Team, My Time. Frank White / Book Hardback
common.buy 22.32 €
Francis Asbury: Circuit Rider Janet Benge / Book Paperback
common.buy 9.89 €
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Book Paperback
common.buy 18.79 €
Her Majesty the Queen, as Seen by MAC Mark Bryant / Book Paperback
common.buy 12.82 €
Cybersecurity Exposed Raef Meeuwisse / Book Hardback
common.buy 25.05 €
The Devil: His Origin, Greatness and Decadence Albert Reville / Book Paperback
common.buy 22.12 €
Drive: The Road to Victory Joyz W Riter / Book Paperback
common.buy 19.29 €
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Book Paperback
common.buy 14.74 €
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Printed items Cards
common.buy 18.18 €
Anyone Can Be Saved David L. Allen / Book Hardback
common.buy 35.56 €
Calm with The Very Hungry Caterpillar Eric Carle / Book Hardback
common.buy 8.38 €
Org Mode 9.2 Reference Manual Carsten Dominik / Book Paperback
common.buy 17.98 €
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Book Paperback
common.buy 7.47 €
Restless in the Grave: A Kate Shugak Novel Dana Stabenow / Book Paperback
common.buy 20.20 €
The Work And Workers Of The British Association For The Advancement Of Science (1884) Cornelius Nicholson / Book Paperback
common.buy 20.30 €
Affordable
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach Heidi M. Neck / Book Paperback
common.buy 37.88 €
UNTITLED FORSAKEN TRILOGY BOOK 3 RJ BARKER / Book Paperback
common.buy 20.10 €
Gene and Cell Therapy: Biology and Applications Giridhara R. Jayandharan / E-book Adobe ePub DRM
common.buy 239.69 €

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