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
62.39 €
Skladom u dodávateľa v malom množstve
Odosielame za 10 - 15 dní
Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.
Pridať medzi želanie
Mohlo by sa vám tiež páčiť
-
Enrobing of Meat and Meat Products
55.63 € -
Cyprus
44.77 € -
National Intelligencer Newspaper Abstracts
60.24 € -
Blue Yonder
21.30 € -4 % -
Bylow Hill
26.84 € -4 % -
Philosophie Der Gegenwart
51.43 € -
Call Me Hank
45.59 € -
Evolution of Integral Yoga
88.73 € -
Shahnama of Firdausi
373.19 € -
Kinks
70.18 € -
Statistics for Engineering and the Sciences
84.63 € -
Words for Students of English v. 8
36.06 € -
Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern
67.93 € -
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention
28.27 € -9 %
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 154 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
62.39 €
- 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
-
Clean Code
52.45 € -
Cracking the Coding Interview
35.96 € -12 % -
Clean Architecture
35.75 € -
Designing Data-Intensive Applications
50.20 € -17 % -
Working Effectively with Legacy Code
64.96 € -
Refactoring
53.89 € -
Test Driven Development
44.77 € -
Practitioner's Guide to Software Test Design
103.18 € -
The Clean Coder
42 € -
Domain-Driven Design Distilled
35.85 € -9 % -
Implementing Domain-Driven Design
62.39 € -
ISTQB® Certified Tester Foundation Level
78.99 € -
The Mythical Man-Month
38.93 € -14 % -
Peopleware
40.67 € -5 % -
Patterns of Enterprise Application Architecture
64.34 € -6 % -
Management 3.0
49.38 € -
User Story Mapping
37.70 € -7 % -
Agile Product Management with Scrum
35.75 € -2 % -
Head First Objects-Oriented Analysis and Design
57.48 € -19 % -
Gradle in Action
51.43 € -
Building a Data Warehouse
81.86 € -
Agile Software Engineering
29.71 € -4 % -
Mercurial
44.46 € -
Programming Elixir 1.6
43.23 € -11 % -
User Stories Applied
43.95 € -10 % -
Software Architect Elevator
63.11 € -6 % -
Continuous Delivery
58.09 € -
Software Engineering at Google
50 € -25 % -
Clean Agile
36.78 € -11 % -
Design It! : Pragmatic Programmers
33.40 € -21 % -
OCUP 2 Certification Guide
61.47 € -15 % -
Foundations of Software Testing
70.08 € -
Advanced Software Testing - Vol. 1, 2nd Edition
42.31 € -24 % -
Pro Git
68.95 € -
Advanced Software Testing
60.45 € -
Righting Software
54.30 € -
Practical Test Design
64.96 € -
Agile Testing
49.59 € -8 % -
Advanced Software Testing V 2. 2e
45.79 € -28 % -
Explore It!
29.60 € -2 % -
Lessons Learned in Software Testing - A Context- Driven Approach
45.59 € -4 % -
Software Requirements
44.15 € -13 % -
Effective DevOps
37.70 € -26 % -
Art of Application Performance Testing 2e
33.70 € -27 % -
Data Mesh
57.68 € -28 % -
More Agile Testing
46.51 € -10 % -
Kubernetes and Docker - An Enterprise Guide
57.78 € -
Lean from the Trenches
24.58 € -28 % -
97 Things Every Software Architect Should Know
26.73 € -26 %
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)