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 - Vazba: Brožovaná
- Počet stran: 176
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997
- Více informací o knize
Mohlo by se vám také líbit
-
How to Draw
878 Kč -
Shake Hands With The Devil
293 Kč -
Blippi: I Like That!: Blippi Coloring Book
101 Kč -
Darkest Star
276 Kč -
Spirit Island: Natur Erwacht (Erweiterung)
1069 Kč -
Traffic Engineering
807 Kč -
Kinks
1457 Kč -
Desire Study Guide
339 Kč -
Enrobing of Meat and Meat Products
997 Kč -
Words for Students of English v. 8
671 Kč -
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos
813 Kč -
EL JARD¡N DE LOS ABRAZOS
450 Kč -
Between Slavery and Freedom
431 Kč -
Call Me Hank
906 Kč -
Empty Nest
683 Kč -
Combinatorial Pattern Matching
1182 Kč -
American Tang Soo Do Federation System: Orang Belt Student Manual
651 Kč -
Statistics for Engineering and the Sciences
2108 Kč -
National Intelligencer Newspaper Abstracts
1121 Kč -
Cambridge Introduction to the Old Norse-Icelandic Saga
2984 Kč -
Coexistence
308 Kč -
Fundamentals of Statistical Inference
1309 Kč -
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects
548 Kč -
Shahnama of Firdausi
5435 Kč -
Evolution of Integral Yoga
1890 Kč -
History of the Incas
789 Kč -
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention
592 Kč -
Diary of a Legal Drug Dealer
453 Kč -
Cyprus
668 Kč -
Media and the Transformation of Religion in South Asia
1969 Kč -
Companion to Modern Art
4584 Kč -
Andare per la Sicilia dei greci
341 Kč -
Die Reiniger
423 Kč -
Gin and Gingerbread
690 Kč -
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4
674 Kč -
Genie venge, poeme
315 Kč -
12 Critical Things Your Family Needs to Know
423 Kč -
Damaged Bonds
4356 Kč -
Agenda 21 Local Et Sig
592 Kč -
Three Men in a Boat
414 Kč -
Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern
1214 Kč -
Blue Yonder
374 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Automatic Verification of Sequential Infinite-State Processes
Nákupem získáte 118 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering
1182 Kč
- Plný název: Automatic Verification of Sequential Infinite-State Processes
- Autor: Burkart, O. (University of Dortmund, Germany)
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 176
- EAN: 9783540639824
- ISBN: 9783540639824
- ID: 06615459
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 284 g
- Rozměry: 235 × 155 × 10 mm
- Datum vydání: 31. December 1997
Oblíbené z jiného soudku
-
The Mythical Man-Month
804 Kč -
Pro Git
1176 Kč -
User Story Mapping
774 Kč -
Clean Architecture
683 Kč -
Domain-Driven Design Distilled
744 Kč -
Peopleware
845 Kč -
Clean Code
1158 Kč -
Implementing Domain-Driven Design
1198 Kč -
Software Engineering at Google
1049 Kč -
Patterns of Enterprise Application Architecture
1299 Kč -
User Stories Applied
996 Kč -
Cracking the Coding Interview
1051 Kč -
Refactoring
1292 Kč -
The Clean Coder
845 Kč -
Test Driven Development
915 Kč -
Real-Time Collision Detection
3396 Kč -
Exploratory Software Testing
874 Kč -
DevOps For Dummies
521 Kč -
Documenting Software Architectures
1551 Kč -
Professional Scrum Master (PSM I) Guide
898 Kč -
Way of the Web Tester
637 Kč -
Programming Elixir 1.6
999 Kč -
Building a Data Warehouse
1729 Kč -
Debug It!
882 Kč -
Mikado Method
1122 Kč -
Design of Design, The
857 Kč -
Software Requirements
801 Kč -
Working Effectively with Legacy Code
1198 Kč -
Software Architect Elevator
1049 Kč -
Expert Test Manager
857 Kč -
Continuous Delivery
1107 Kč -
Talking with Tech Leads
518 Kč -
Clean Agile
865 Kč -
OCUP 2 Certification Guide
1473 Kč -
Advanced Software Testing - Vol. 1, 2nd Edition
878 Kč -
Requirements Engineering Fundamentals
645 Kč -
Data Mesh
1268 Kč -
Agile Samurai
753 Kč -
Storytelling in Design
940 Kč -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
723 Kč -
Beyond Software Architecture
1492 Kč -
Lessons Learned in Software Testing - A Context- Driven Approach
1011 Kč -
Advanced Software Testing V 2. 2e
1354 Kč -
Explore It!
637 Kč -
Design It! : Pragmatic Programmers
882 Kč -
Advanced Software Testing
1354 Kč -
Righting Software
1253 Kč -
Head First Objects-Oriented Analysis and Design
1112 Kč -
Software Estimation
775 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 47529 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)