Code: 01557740
Verifying Concurrent Processes Using Temporal Logic
by B. T. Hailpern
- Language:
English - Binding: Paperback
- Number of pages: 209
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- More about this
51.65 €
RRP: 55.93 €
You save 4.28 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Smith-Waite Tarot Deck Borderless
16.97 € -27 % -
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS
13.13 € -20 % -
Antibiotic Essentials 2024
58.22 € -4 % -
Bloody Bones. Bleiche Stille, englische Ausgabe
7.27 € -24 % -
Non-Invasive Data Governance
28.50 € -25 % -
Too Deep for Words
11.31 € -24 % -
Raději zešílet v divočině
22.74 € -21 % -
Schaum's Outline of Elementary Algebra, 3ed
28.90 € -18 % -
Gruffalo
17.48 € -
Běžkyně
3.93 € -3 % -
Doing Nothing
8.58 € -
North Cape 1943
18.49 € -26 % -
Calm with The Very Hungry Caterpillar
7.88 € -25 % -
Pédiatrie en 1000 questions isolées
14.24 € -17 % -
Czwarty schowek Five Nights at Freddy's 3
7.77 € -21 % -
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach
48.82 € -10 % -
Lorna Doone
13.94 € -24 % -
Org Mode 9.2 Reference Manual
17.07 € -2 % -
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality
110.69 € -9 % -
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010
5.75 € -15 % -
Tecno
73.28 € -25 % -
Paper World: Ocean
20.71 € -10 % -
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16
50.64 € -
Business Law
72.78 € -
Hardest Job in the World
15.36 € -28 % -
Jaco Pastorius
39.82 € -
Torchwood #83 Disco
10.91 € -24 % -
Iterative Software Engineering for Multiagent Systems
55.69 € -
Mittlerer Harz, Wander- und Fahrradkarte
5.65 € -
Carro Medio US M3 Lee/Grant
22.94 € -1 % -
UNTITLED FORSAKEN TRILOGY BOOK 3
18.49 € -20 % -
Just delicious - Couscous, Bulgur & Co.
9.09 € -10 % -
Como disciplinar a tus hijos
10.20 € -17 % -
Autobiography
35.47 € -24 % -
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods
25.57 € -2 % -
Restless in the Grave: A Kate Shugak Novel
18.89 € -25 % -
Property Law and Human Rights
176.40 € -
Bibliotheken
75 € -
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq.
15.46 € -2 % -
Separacion de uranio en restos oseos para la datacion de estos
34.87 € -14 % -
I'm Limping Very Well, Thank You: Mind. Mood. Motivation
14.04 € -6 % -
Buenos días, ángel de mi guarda : doctrina y devocionario angélico
10.81 € -
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods
26.88 € -14 % -
Surgical Anatomy of Head and Neck
140.92 € -9 % -
Strength and Compassion in Kidney Failure
154.26 € -7 % -
Anyone Can Be Saved
33.45 € -24 % -
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals
7.17 € -6 % -
Christmas Songs for Bass
13.13 € -21 % -
Cybersecurity Exposed
23.85 € -1 % -
Redfish, Bluefish, Sheefish, Snook
20.82 € -17 % -
Bree Tannerin Ikinci Hayati
12.12 € -5 % -
Drive: The Road to Victory
18.39 € -6 % -
The Work And Workers Of The British Association For The Advancement Of Science (1884)
19.30 € -2 % -
Quadern Clau Q-9 Divisibilitat. Matematiques.
6.97 € -
Alimentární infekce
5.55 € -10 % -
Truth About Sexual Behavior and Unplanned Pregnancy
39.72 € -
Taśma Washi Tape Neon Narcissus
28.30 € -12 % -
Wie der Bär zum Tanzen kam, 1 Audio-CD
19 € -5 % -
Quetzalcouatl-Fassaden yukatekischer Bauten
14.35 € -10 % -
Francis Asbury: Circuit Rider
9.29 € -25 % -
Leer y aprender - Competencias para la Vida
13.84 € -13 % -
Der kleine Hui Buh - 01/3er Spuk und Hex Box ( Folgen 1,2,3)
13.44 € -11 % -
La Mirora mata els dimarts
18.29 € -
Turning
17.58 € -10 % -
PRELUDE La jeunesse de Sherlock Holmes 1
25.06 € -
What Every Engineer Should Know about MATLAB and Simulink
121.40 € -
One Man's Dream: My Town, My Team, My Time.
22.84 € -9 % -
The Student's Persian and English Dictionary, Pronouncing, Etymological, & Explanatory
28.30 € -1 % -
BABADADA, Shona - Espanol de Mexico con articulos, duramazwi rine mifananidzo - el diccionario visual
26.88 € -7 % -
Planificación de recursos humanos en las administraciones públicas : gestión y desarrollo de personas en tiempos de austeridad
23.95 € -
Elle voulait juste marcher tout droit
13.13 € -
Emperor Penguins
10.60 € -9 % -
Three Months with Revelation
11.31 € -25 % -
Las mutuas de accidentes de trabajo y enfermedades profesionales. Doctrina, jurisprudencia, formular
89.86 € -
L-ASPARGINASE- Ein potentes Bio-Therapie-Enzym fur Krebs
48.92 € -11 % -
In das Feuer
14.75 € -32 % -
Heinemann Maths 4: Omnibus Pack
17.28 € -
Her Majesty the Queen, as Seen by MAC
11.31 € -20 % -
Veure, tocar i aprendre. Vesteix-te!
9.59 € -
Modern NMR Techniques for Synthetic Chemistry
264.15 € -
De La Signification Des Mots, Volume 2...
34.56 € -2 % -
The Devil: His Origin, Greatness and Decadence
21.12 € -1 % -
Gleanings from an Old Portfolio, Volume I
32.74 € -2 % -
Registrar General of Marriages, Births and Deaths in Ireland
18.79 € -14 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Verifying Concurrent Processes Using Temporal Logic
You get 125 loyalty points
Book details
Book category Knihy po anglicky Computing & information technology Computer programming / software development
51.65 €
- Full title: Verifying Concurrent Processes Using Temporal Logic
- Author: B. T. Hailpern
- Language: English
- Binding: Paperback
- Number of pages: 209
- EAN: 9783540112051
- ISBN: 3540112057
- ID: 01557740
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 700 g
- Dimensions: 233 × 155 × 13 mm
Trending among others
-
Cracking Codes With Python
29.11 € -29 % -
How Linux Works, 3rd Edition
35.27 € -29 % -
Head First Design Patterns
54.99 € -27 % -
Manga Guide To Cryptography
18.49 € -26 % -
Bayesian Statistics The Fun Way
27.99 € -27 % -
Guide to Competitive Programming
50.54 € -9 % -
Debugging
15.96 € -15 % -
Structure and Interpretation of Computer Programs
80.66 € -
Inside The Machine
56.70 € -24 % -
Programming Pearls
37.29 € -14 % -
Modern C
65.10 € -5 % -
Scratch 3 Programming Playground
18.49 € -26 % -
Debugging with GDB
32.74 € -2 % -
Network Programming With Go
35.27 € -29 % -
ISE Software Engineering: A Practitioner's Approach
83.90 € -
Electronic Music and Sound Design Volume 2
43.56 € -2 % -
Operating AI: Bridging the Gap Between Technology and Business
28.70 € -26 % -
Write Great Code, Volume 1, 2nd Edition
35.27 € -29 % -
Pragmatic Thinking and Learning
33.45 € -19 % -
Concurrency in Go
48.62 € -
Natural Language Processing With Python And Spacy
28.70 € -26 % -
Programming Language Pragmatics
99.47 € -
OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide - Exam 1Z0-815, Exam 1Z0-816, and Exam 1Z0-81
56.30 € -25 % -
Powershell For Sysadmins
28.30 € -29 % -
Kanban
38.81 € -25 % -
Practice of Programming
43.97 € -6 % -
Reversing - Secrets of Reverse Engineering
28.50 € -25 % -
Micro:bit For Mad Scientists
18.49 € -26 % -
Dead Simple Python
42.25 € -26 % -
Art of Readable Code
43.97 € -
Real-world Python
28.60 € -24 % -
Super Scratch Programming Adventure (scratch 3)
13.74 € -32 % -
Buddha in Testing
18.39 € -2 % -
Adaptive Systems with Domain-Driven Design, Wardley Mapping, and Team Topologies
36.99 € -14 % -
Art of Computer Programming
65.80 € -14 % -
Web Security For Developers
21.93 € -25 % -
Python One-liners
35.47 € -26 % -
Programming from the Ground Up
25.06 € -25 % -
Working with Odoo
58.93 € -1 % -
Karel the Robot 2e (WSE)
86.02 € -
Linux Basics For Hackers
40.02 € -24 % -
The Linux Command Line, 2nd Edition
40.02 € -24 % -
Kotlin in Action
56.50 € -12 % -
Thinking in Java
67.42 € -9 % -
Python Flash Cards
19.91 € -29 % -
Passionate Programmer
24.05 € -
97 Things Every Programmer Should Know
35.47 € -24 % -
Rust in Action
61.66 € -10 % -
C++ All-in-One For Dummies, 4th Edition
32.04 € -24 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 13206 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)