Kód: 06615459
Automatic Verification of Sequential Infinite-State Processes
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 176
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997
- Viac informácií o knihe
51.75 €
Bežne: 56.03 €
Ušetríte 4.29 €
Skladom u dodávateľa
Odosielame za 5 - 8 dní
Mohlo by sa vám tiež páčiť
-
How to Draw
36.35 € -29 % -
Shake Hands With The Devil
12.95 € -30 % -
Blippi: I Like That!: Blippi Coloring Book
4.45 € -25 % -
Darkest Star
12.24 € -30 % -
Spirit Island: Natur Erwacht (Erweiterung)
46.78 € -7 % -
Traffic Engineering
35.14 € -
Kinks
63.49 € -
Desire Study Guide
14.68 € -
Enrobing of Meat and Meat Products
43.85 € -14 % -
Words for Students of English v. 8
27.74 € -5 % -
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos
35.74 € -14 % -
EL JARD¡N DE LOS ABRAZOS
18.63 € -
Between Slavery and Freedom
17.82 € -
Call Me Hank
37.57 € -5 % -
Empty Nest
28.25 € -18 % -
Combinatorial Pattern Matching
51.75 € -7 % -
Statistics for Engineering and the Sciences
87.19 € -
National Intelligencer Newspaper Abstracts
46.38 € -2 % -
Fundamentals of Statistical Inference
57.01 € -
Cambridge Introduction to the Old Norse-Icelandic Saga
129.94 € -
Coexistence
12.75 € -24 % -
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects
22.68 € -6 % -
Shahnama of Firdausi
224.94 € -
Evolution of Integral Yoga
78.18 € -2 % -
History of the Incas
32.70 € -5 % -
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention
26.02 € -11 % -
American Tang Soo Do Federation System: Orang Belt Student Manual
26.93 € -7 % -
Diary of a Legal Drug Dealer
18.73 € -2 % -
Cyprus
29.26 € -10 % -
Media and the Transformation of Religion in South Asia
85.37 € -
Companion to Modern Art
195.26 € -4 % -
Andare per la Sicilia dei greci
14.07 € -
Die Reiniger
17.51 € -6 % -
Gin and Gingerbread
28.55 € -
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4
27.84 € -
Genie venge, poeme
13.06 € -1 % -
12 Critical Things Your Family Needs to Know
17.51 € -6 % -
Damaged Bonds
180.27 € -
Agenda 21 Local Et Sig
26.02 € -11 % -
Three Men in a Boat
17.92 € -
Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern
53.16 € -7 % -
Blue Yonder
15.49 € -25 %
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Automatic Verification of Sequential Infinite-State Processes
Nákupom získate 125 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering
51.75 €
- Celý názov: Automatic Verification of Sequential Infinite-State Processes
- Autor: Burkart, O. (University of Dortmund, Germany)
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 176
- EAN: 9783540639824
- ISBN: 9783540639824
- ID: 06615459
- Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnosť: 284 g
- Rozmery: 235 × 155 × 10 mm
- Dátum vydania: 31. December 1997
Obľúbené z iného súdka
-
The Mythical Man-Month
40.10 € -3 % -
Domain-Driven Design Distilled
30.78 € -19 % -
Peopleware
44.15 € -
Clean Code
50.94 € -14 % -
Implementing Domain-Driven Design
60.15 € -2 % -
User Stories Applied
50.73 € -1 % -
User Story Mapping
33.82 € -24 % -
The Clean Coder
45.77 € -
Clean Architecture
36.86 € -
Patterns of Enterprise Application Architecture
74.43 € -
Software Engineering at Google
46.48 € -25 % -
Cracking the Coding Interview
46.28 € -18 % -
Refactoring
60.25 € -
Test Driven Development
51.95 € -
Real-Time Collision Detection
140.57 € -
Pro Git
51.24 € -
Exploratory Software Testing
38.48 € -14 % -
DevOps For Dummies
21.56 € -29 % -
Documenting Software Architectures
68.15 € -14 % -
Professional Scrum Master (PSM I) Guide
39.19 € -1 % -
Way of the Web Tester
28.05 € -20 % -
Programming Elixir 1.6
44.15 € -19 % -
Building a Data Warehouse
75.75 € -9 % -
Debug It!
38.27 € -
Mikado Method
49.11 € -
Design of Design, The
37.36 € -2 % -
Software Requirements
55.49 € -
Working Effectively with Legacy Code
67.85 € -
Software Architect Elevator
46.07 € -25 % -
Continuous Delivery
61.77 € -
Expert Test Manager
35.44 € -25 % -
Talking with Tech Leads
22.68 € -6 % -
Clean Agile
39.69 € -10 % -
OCUP 2 Certification Guide
67.04 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.88 € -25 % -
Requirements Engineering Fundamentals
28.55 € -25 % -
Data Mesh
56.20 € -25 % -
Agile Samurai
34.73 € -16 % -
Storytelling in Design
40.30 € -25 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
32.10 € -24 % -
Beyond Software Architecture
64.71 € -
Lessons Learned in Software Testing - A Context- Driven Approach
44.15 € -4 % -
Advanced Software Testing V 2. 2e
56 € -
Explore It!
28.05 € -20 % -
Design It! : Pragmatic Programmers
38.88 € -20 % -
Advanced Software Testing
58.63 € -
Righting Software
54.28 € -
Head First Objects-Oriented Analysis and Design
49.31 € -24 % -
Software Estimation
32.10 € -24 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12792 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)