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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
20 424 Ft
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 3 132 Ft
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS Frank Anderson / Book Paperback
common.buy 5 221 Ft
Elsket, utvalgt og hel - En 30-dagers reise fra avvisning til gjenopprettelse Comfort Ladi Ogbe / Book Paperback
common.buy 9 315 Ft
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16 ETAI Book binding.
common.buy 18 106 Ft
Carro Medio US M3 Lee/Grant Luca Stefano Cristini / Book Paperback
common.buy 9 709 Ft
Die Moorsiedler Buch 3: Schwere Zeiten Hoops von Scheeel / E-book Adobe ePub DRM
common.buy 2 952 Ft
Bibliotheken Candida Höfer / Book Hardback
common.buy 26 987 Ft
Raději zešílet v divočině Aleš Palán / Book Hardback
common.buy 11 289 Ft
Mittlerer Harz, Wander- und Fahrradkarte Bernhard Spachmüller / Printed items Map
common.buy 2 229 Ft
Běžkyně Peter May / Book Paperback
common.buy 3 072 Ft
Buenos días, ángel de mi guarda : doctrina y devocionario angélico Rafael María López Melús / Book Paperback
common.buy 4 288 Ft
Quetzalcouatl-Fassaden yukatekischer Bauten Eduard Seler / Book Paperback
common.buy 5 734 Ft
Bree Tannerin Ikinci Hayati Stephenie Meyer / Book Paperback
common.buy 4 803 Ft
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010 / Book Paperback
common.buy 2 169 Ft
Como disciplinar a tus hijos Roy Lessin / Book Paperback
common.buy 4 393 Ft
Separacion de uranio en restos oseos para la datacion de estos Genoveva García Rosales / Book Paperback
common.buy 55 210 Ft
Just delicious - Couscous, Bulgur & Co. Sarah Schocke / Book Hardback
common.buy 3 884 Ft
Affordable
Pédiatrie en 1000 questions isolées Petat / Book Paperback
common.buy 1 511 Ft
Wie der Bär zum Tanzen kam, 1 Audio-CD Katharina Lamprecht / Audio Audio CD
common.buy 7 510 Ft
Bible / Book Paperback
common.buy 18 270 Ft
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual Babadada Gmbh / Book Paperback
common.buy 11 454 Ft
Doctor Who. Staffel.4, 6 DVDs David Tennant / Video DVD
common.buy 14 825 Ft
Akrylová barva Cadence Premium - fuchsiová / 70 ml / Book binding.
common.buy 1 027 Ft
Leer y aprender - Competencias para la Vida LUIS SEPULVEDA / Book Paperback
common.buy 4 712 Ft
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 23 481 Ft
Surgical Anatomy of Head and Neck Jan Helms / Book Paperback
common.buy 55 853 Ft
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality Nickolay Y Gnedin / Book Paperback
common.buy 43 921 Ft
Drive: The Road to Victory Joyz W Riter / Book Paperback
common.buy 7 814 Ft
Org Mode 9.2 Reference Manual Carsten Dominik / Book Paperback
common.buy 7 240 Ft
Calm with The Very Hungry Caterpillar Eric Carle / Book Hardback
common.buy 3 461 Ft
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods Stefan Luckhaus / Book Hardback
common.buy 10 701 Ft
Michael Faraday Hourly History / Book Paperback
common.buy 4 169 Ft
Top
Smith-Waite Tarot Deck Borderless Pamela Colman Smith / Printed items Cards
common.buy 7 196 Ft
I'm Limping Very Well, Thank You: Mind. Mood. Motivation W Nicholas Abraham Phd / Book Paperback
common.buy 5 989 Ft
Business Law MACINTYRE EWAN / Book Paperback
common.buy 27 814 Ft
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals Creative Designs Journal / Book Paperback
common.buy 3 027 Ft
The Devil: His Origin, Greatness and Decadence Albert Reville / Book Paperback
common.buy 8 941 Ft
Transformation Donna V / Book Paperback
common.buy 6 697 Ft
Up the Downside GLORIA DUNBAR / Book Hardback
common.buy 11 349 Ft
Cybersecurity Exposed Raef Meeuwisse / Book Hardback
common.buy 10 083 Ft
A Short Course of Experiments in Physical Measurement, Vol. 3 of 4 Harold Whiting / Book Paperback
common.buy 11 876 Ft
Anyone Can Be Saved David L. Allen / Book Hardback
common.buy 14 645 Ft
Her Majesty the Queen, as Seen by MAC Mark Bryant / Book Paperback
common.buy 4 124 Ft
Registrar General of Marriages, Births and Deaths in Ireland Registrar General of Marriages / Book Paperback
common.buy 7 480 Ft
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods Neb ). Clarkson Woman's Club (Clarkson / Book Hardback
common.buy 10 835 Ft
Praying for My Future Husband Amelia Vazquez / Book Paperback
common.buy 6 004 Ft
Emperor Penguins Howard Gray / Book Paperback
common.buy 4 200 Ft
The Times Lives Behind the Screen Times Books / Book Hardback
common.buy 7 016 Ft

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?