Code: 06615459
Automatic Verification of Sequential Infinite-State Processes
by Burkart, O. (University of Dortmund, Germany)
This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of rea ... more
- Language:
English - Binding: Paperback
- Number of pages: 176
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997
- More about this
51.68 €
RRP: 55.96 €
You save 4.28 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Shake Hands With The Devil
12.94 € -30 % -
How to Draw
36.91 € -28 % -
Blippi: I Like That!: Blippi Coloring Book
4.44 € -25 % -
Darkest Star
12.74 € -25 % -
Spirit Island: Natur Erwacht (Erweiterung)
46.83 € -7 % -
Traffic Engineering
35.09 € -
Low, Dishonest Decade
39.14 € -11 % -
Kinks
60.08 € -
Desire Study Guide
14.66 € -
Words for Students of English v. 8
27.40 € -5 % -
Enrobing of Meat and Meat Products
43.79 € -14 % -
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos
35.70 € -14 % -
The Memoirs of Sherlock Holmes
10.61 € -7 % -
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects
22.65 € -6 % -
EL JARD¡N DE LOS ABRAZOS
18.50 € -
Between Slavery and Freedom
17.79 € -
Call Me Hank
37.22 € -5 % -
Combinatorial Pattern Matching
51.68 € -7 % -
Empty Nest
28.21 € -18 % -
American Tang Soo Do Federation System: Orang Belt Student Manual
26.90 € -7 % -
Fundamentals of Statistical Inference
56.94 € -
A History of German in 101 Words
54.31 € -9 % -
Cambridge Introduction to the Old Norse-Icelandic Saga
129.77 € -
Coexistence
12.74 € -24 % -
National Intelligencer Newspaper Abstracts
46.12 € -9 % -
Statistics for Engineering and the Sciences
87.09 € -
Evolution of Integral Yoga
78.08 € -2 % -
Shahnama of Firdausi
224.66 € -
History of the Incas
32.36 € -4 % -
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention
25.99 € -11 % -
Happy Birthday Irina - The Big Birthday Activity Book: (Personalized Children's Activity Book)
9.80 € -6 % -
Diary of a Legal Drug Dealer
18.70 € -2 % -
Cyprus
29.22 € -10 % -
Media and the Transformation of Religion in South Asia
85.77 € -
Companion to Modern Art
195.02 € -4 % -
Die Reiniger
17.49 € -6 % -
porte dell'Ade. Eroi. La dea della luce
18.40 € -
Andare per la Sicilia dei greci
14.46 € -
Agenda 21 Local Et Sig
25.99 € -11 % -
12 Critical Things Your Family Needs to Know
17.49 € -6 % -
Damaged Bonds
180.05 € -
Genie venge, poeme
13.04 € -1 %
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 Automatic Verification of Sequential Infinite-State Processes
You get 125 loyalty points
Book synopsis
This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
51.68 €
- Full title: Automatic Verification of Sequential Infinite-State Processes
- Author: Burkart, O. (University of Dortmund, Germany)
- Language: English
- Binding: Paperback
- Number of pages: 176
- EAN: 9783540639824
- ISBN: 9783540639824
- ID: 06615459
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 284 g
- Dimensions: 235 × 155 × 10 mm
- Date of publishing: 31. December 1997
Trending among others
-
Implementing Domain-Driven Design
52.90 € -14 % -
Refactoring
53.60 € -4 % -
The Mythical Man-Month
35.39 € -14 % -
Peopleware
37.11 € -14 % -
Software Engineering at Google
46.42 € -25 % -
Data Mesh
56.13 € -25 % -
Clean Architecture
30.03 € -14 % -
Cracking the Coding Interview
46.22 € -18 % -
Clean Code
50.87 € -14 % -
Domain-Driven Design Distilled
30.74 € -19 % -
User Stories Applied
43.89 € -14 % -
Software Requirements
35.60 € -24 % -
User Story Mapping
33.78 € -24 % -
Working Effectively with Legacy Code
52.90 € -14 % -
Software Architect Elevator
46.42 € -25 % -
Pro Git
51.18 € -
Mastering Regular Expressions 3e
42.48 € -24 % -
Agile Testing
48.55 € -14 % -
More Agile Testing
42.88 € -14 % -
Official (ISC)2 (R) Guide to the ISSAP (R) CBK
111.57 € -
Programming Elixir 1.6
44.09 € -19 % -
Ida Pro Book, 2nd Edition
70.70 € -9 % -
Agile Project Management For Beginners
10.31 € -2 % -
Forecasting Oracle Performance
43.79 € -9 % -
Escape Velocity
18.60 € -24 % -
Apprenticeship Patterns
29.83 € -
Patterns of Enterprise Application Architecture
57.35 € -14 % -
The Clean Coder
37.11 € -14 % -
Test Driven Development
40.25 € -14 % -
Continuous Delivery
48.85 € -14 % -
Expert Test Manager
35.39 € -25 % -
OCUP 2 Certification Guide
57.75 € -
Requirements Engineering Fundamentals
28.52 € -25 % -
Talking with Tech Leads
22.65 € -6 % -
Agile Samurai
33.27 € -19 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
32.06 € -24 % -
Real-Time Collision Detection
140.40 € -
Beyond Software Architecture
65.14 € -
Clean Agile
36.10 € -18 % -
Lessons Learned in Software Testing - A Context- Driven Approach
39.95 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.83 € -25 % -
Design It! : Pragmatic Programmers
38.83 € -20 % -
Advanced Software Testing
58.56 € -
Righting Software
54.21 € -
DevOps For Dummies
21.54 € -29 % -
Head First Objects-Oriented Analysis and Design
49.25 € -24 % -
Exploratory Software Testing
38.43 € -14 % -
Software Estimation
32.06 € -24 % -
Managing the Unmanageable
41.77 € -2 %
Shopping guide
Books by language
Collection points Bratislava a 12841 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25686 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)