A Faster GR(1) Synthesis Algorithm
Hans Juergen Gamauf, 2018More than 10 pieces in stock at supplier
Product details
The book "A Faster GR(1) Synthesis Algorithm" by Hans Juergen Gamauf offers a comprehensive analysis and solution to the challenges encountered in creating formal specifications and their synthesis. In today's world, where computer technology plays a central role, the need for robust and precise solutions is of great importance. Gamauf examines the difficulties associated with formulating complete and unambiguous specifications, focusing particularly on optimizing existing algorithms that are often time- and memory-intensive. This master's thesis aims to enhance the efficiency of calculating solutions for formal specifications, which is of significant interest to professionals in the fields of engineering and IT. The book is a valuable resource for students and practitioners engaged in system synthesis and the application of formal methods.
topic | Technology & IT |
Author | Hans Juergen Gamauf |
Book cover | Paperback |
Year | 2018 |
Item number | 56044797 |
Publisher | AV |
Category | Reference books |
Release date | 11.3.2025 |
topic | Technology & IT |
Author | Hans Juergen Gamauf |
Year | 2018 |
Book cover | Paperback |
Year | 2018 |
CO₂-Emission | |
Climate contribution |
30-day right of return if unopened
Compare products
Goes with
Reviews & Ratings
Statutory warranty score
How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?
Source: Galaxus- AVNot enough data
- 1.Anaconda0 %
- 1.Ariston0 %
- 1.Avery Publishing Group0 %
- 1.Beltz0 %
Statutory warranty case duration
How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?
Source: Galaxus- AVNot enough data
- 1.HarperCollins0 days
- AnacondaNot enough data
- AristonNot enough data
- Avery Publishing GroupNot enough data
Return rate
How often is a product of this brand in the «Reference books» category returned?
Source: Galaxus- AVNot enough data
- 1.Beltz0 %
- 1.DTV0 %
- 1.Hachette0 %
- 1.Hanser0 %