Abstract Domains in Constraint Programming
Seiten
2014
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-622-8 (ISBN)
ISTE Ltd and John Wiley & Sons Inc (Verlag)
978-1-84821-622-8 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
This text describes the functions and methodology of abstract domains in constraint programming that apply to both integer and real variables. After a broad assessment of constraint programming, the book covers octagons abstract domain, abstract interpretation techniques, and the application of AbSolute to solve mixed problems and use relational domains. Constraint programming practitioners and students will gain a deeper understanding of solutions to multi-variable problems and their representations.
| Reihe/Serie | Focus |
|---|---|
| Verlagsort | London |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| ISBN-10 | 1-84821-622-X / 184821622X |
| ISBN-13 | 978-1-84821-622-8 / 9781848216228 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
