Code: 01557740
Verifying Concurrent Processes Using Temporal Logic
by B. T. Hailpern
Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
- Language:
English - Binding: Paperback
- Number of pages: 209
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- More about this
51.26 €
RRP: 55.48 €
You save 4.23 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Non-Invasive Data Governance
29.09 € -24 % -
Pédiatrie en 1000 questions isolées
21.56 € -
Smith-Waite Tarot Deck Borderless
17.35 € -27 % -
Manuál terapie systémů vnitřní rodiny - Léčba úzkosti, deprese a traumatu pomocí IFS
13.63 € -16 % -
Raději zešílet v divočině
30.09 € -16 % -
Bloody Bones. Bleiche Stille, englische Ausgabe
7.31 € -25 % -
Frieren - Nach dem Ende der Reise 06
9.02 € -10 % -
Praying for My Future Husband
14.34 € -7 % -
Too Deep for Words
11.53 € -25 % -
Gruffalo
16.54 € -
Antibiotic Essentials 2024
63.90 € -
Běžkyně
8.52 € -16 % -
Doing Nothing
8.52 € -
Schaum's Outline of Elementary Algebra, 3ed
29.49 € -18 % -
North Cape 1943
17.95 € -24 % -
Calm with The Very Hungry Caterpillar
8.02 € -25 % -
Akrylová barva Cadence Premium - fuchsiová / 70 ml
2.20 € -17 % -
Czwarty schowek Five Nights at Freddy's 3
8.52 € -11 % -
Doctor Who. Staffel.4, 6 DVDs
40.42 € -
Teaching Entrepreneurship, Volume Two - A Practice-Based Approach
18.85 € -65 % -
Bible
34.90 € -28 % -
Lorna Doone
13.84 € -24 % -
Star Formation in Galaxy Evolution: Connecting Numerical Models to Reality
109.85 € -9 % -
Org Mode 9.2 Reference Manual
17.35 € -2 % -
Tecno
74.73 € -25 % -
Sborník Asociace učitelů češtiny jako cizího jazyka (AUČCJ) 2010
5.71 € -15 % -
Paper World: Ocean
17.95 € -24 % -
RTA 851 MEgane IV 1.5-6DCI(110 130 131 160ch->06-16
49.25 € -
Jaco Pastorius
39.32 € -
Hardest Job in the World
15.64 € -28 % -
Business Law
75.74 € -
Torchwood #83 Disco
11.73 € -25 % -
Restless in the Grave: A Kate Shugak Novel
19.25 € -25 % -
Michael Faraday
9.92 € -7 % -
Iterative Software Engineering for Multiagent Systems
57.08 € -
Carro Medio US M3 Lee/Grant
23.37 € -1 % -
Old Czech Recipes for Today's Kitchens: Czech Festival of Foods
26.08 € -2 % -
Property Law and Human Rights
175.06 € -
Mittlerer Harz, Wander- und Fahrradkarte
5.61 € -
Como disciplinar a tus hijos
10.32 € -17 % -
Buenos días, ángel de mi guarda : doctrina y devocionario angélico
11.63 € -
Elsket, utvalgt og hel - En 30-dagers reise fra avvisning til gjenopprettelse
22.46 € -1 % -
Just delicious - Couscous, Bulgur & Co.
10.52 € -5 % -
Quetzalcouatl-Fassaden yukatekischer Bauten
14.24 € -10 % -
Strength and Compassion in Kidney Failure
153.09 € -7 % -
Separacion de uranio en restos oseos para la datacion de estos
137.54 € -14 % -
Autobiography
36.11 € -25 % -
Cybersecurity Exposed
24.27 € -2 % -
Francis Asbury: Circuit Rider
9.42 € -25 % -
Infinity Minus One
7.01 € -6 % -
Plans for World Domination: Build Good Habits & Break Bad Ones: Embracing and Achieving Your Goals
7.31 € -6 % -
The Devil: His Origin, Greatness and Decadence
21.46 € -2 % -
Surgical Anatomy of Head and Neck
139.75 € -9 % -
Christmas Songs for Bass
12.93 € -25 % -
I'm Limping Very Well, Thank You: Mind. Mood. Motivation
14.34 € -6 % -
Heart of the Wyrdwood
17.95 € -25 % -
Book Series: Increasing Productivity of Software Development, Part 1: Productivity and Performance Measurement - Measurability and Methods
26.68 € -14 % -
Allegations Against the Countess of Strathmore, Given in to the Court of Arches, in Doctors Commons, by Andrew Robinson Bowes, Esq.
15.74 € -2 % -
Anyone Can Be Saved
34 € -25 % -
The Times Lives Behind the Screen
17.95 € -24 % -
Redfish, Bluefish, Sheefish, Snook
23.57 € -9 % -
Environmental Engineering and Computer Application
284.62 € -
Drive: The Road to Victory
18.65 € -7 % -
The Work And Workers Of The British Association For The Advancement Of Science (1884)
19.65 € -1 % -
Up the Downside
29.29 € -
Play-Along Kids Musicals Saxophone
24.27 € -
Lunchboxes
12.23 € -25 % -
Data Mining Patterns
183.49 € -
Lao-Tzu's Tao and Wu Wei
12.13 € -
Emperor Penguins
11.03 € -9 % -
Turning
14.64 € -26 % -
One Man's Dream: My Town, My Team, My Time.
23.07 € -9 % -
Chinese Central Asia
30.99 € -14 % -
Politics With Heart
10.83 € -7 % -
Gleanings from an Old Portfolio, Volume I
33.40 € -1 % -
Truth About Sexual Behavior and Unplanned Pregnancy
39.42 € -
Her Majesty the Queen, as Seen by MAC
11.13 € -19 % -
Three Months with Revelation
11.53 € -25 % -
What Every Engineer Should Know about MATLAB and Simulink
123.79 € -
Registrar General of Marriages, Births and Deaths in Ireland
18.65 € -14 % -
Transformation
16.04 € -6 % -
Modern NMR Techniques for Synthetic Chemistry
284.62 € -
Bernard Leslie: Or a Tale of the Last Ten Years (1843)
28.78 € -2 % -
Bachelors - Der Weg zurück ins Leben
8.52 €
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 synopsis
Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.
Book details
Book category Books in English Computing & information technology Computer programming / software development
51.26 €
- 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
-
Head First Design Patterns
55.17 € -27 % -
Debugging
14.24 € -28 % -
Autotools, 2nd Edition
36.11 € -26 % -
How Linux Works, 3rd Edition
42.63 € -29 % -
Software Architect's Handbook
54.57 € -1 % -
Bayesian Statistics The Fun Way
28.78 € -27 % -
Guide to Competitive Programming
50.05 € -9 % -
Structure and Interpretation of Computer Programs
82.56 € -
Modern C
64.40 € -5 % -
Programming Pearls
36.71 € -14 % -
Effective C
33.90 € -30 % -
C++ All-in-One For Dummies, 4th Edition
33.20 € -23 % -
CNC Programming Handbook
105.74 € -6 % -
Sap/ABAP Hana Programming
25.77 € -
Adaptive Systems with Domain-Driven Design, Wardley Mapping, and Team Topologies
36.81 € -14 % -
Elements of Programming
25.07 € -2 % -
Understanding Crypto Fundamentals
27.68 € -25 % -
OrCAD
119.88 € -14 % -
Penetration Testing with the Bash shell
25.17 € -2 % -
Manga Guide To Cryptography
18.65 € -29 % -
Inside The Machine
56.17 € -25 % -
Pragmatic Thinking and Learning
30.79 € -19 % -
Dead Simple Python
42.63 € -29 % -
Scratch 3 Programming Playground
25.17 € -25 % -
Art of Readable Code
37.61 € -25 % -
Powershell For Sysadmins
26.88 € -34 % -
Cracking Codes With Python
29.19 € -26 % -
Passionate Programmer
21.36 € -20 % -
Rust in Action
64.70 € -4 % -
Reversing - Secrets of Reverse Engineering
28.28 € -25 % -
Micro:bit For Mad Scientists
18.85 € -25 % -
Ghidra Book
43.13 € -25 % -
Write Great Code, Volume 1, 2nd Edition
33.80 € -33 % -
Real-world Python
29.19 € -26 % -
Debugging with GDB
33.30 € -2 % -
Network Programming With Go
35.71 € -29 % -
ISE Software Engineering: A Practitioner's Approach
81.06 € -2 % -
Electronic Music and Sound Design Volume 2
44.44 € -2 % -
Python One-liners
36.21 € -25 % -
Operating AI: Bridging the Gap Between Technology and Business
29.19 € -26 % -
Linux Basics For Hackers
39.72 € -24 % -
The Linux Command Line, 2nd Edition
39.72 € -24 % -
Kotlin in Action
57.58 € -9 % -
OCP Oracle Certified Professional Java SE 11 Developer Complete Study Guide - Exam 1Z0-815, Exam 1Z0-816, and Exam 1Z0-81
56.57 € -26 % -
Thinking in Java
67.81 € -9 % -
Python Flash Cards
20.96 € -25 % -
Concurrency in Go
49.65 € -
Kanban
39.62 € -24 % -
97 Things Every Programmer Should Know
36.11 € -25 %
Shopping guide
Books by language
Collection points Bratislava a 13661 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27326 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)