Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 04.08.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • Produktbild: Concrete Abstractions
  • Produktbild: Concrete Abstractions

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Aus der Reihe Texts & Monographs in Symbolic Computation

72,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

12.04.2023

Verlag

Springer

Seitenzahl

271

Maße (L/B/H)

24,1/16/2,1 cm

Gewicht

594 g

Sprache

Englisch

ISBN

978-3-031-24933-4

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

12.04.2023

Verlag

Springer

Seitenzahl

271

Maße (L/B/H)

24,1/16/2,1 cm

Gewicht

594 g

Sprache

Englisch

ISBN

978-3-031-24933-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Concrete Abstractions
  • Produktbild: Concrete Abstractions
  • 1. Theories and Algorithms.- 2. Searching and Sorting.- 3. Sets, Relations, and Graphs.- 4. Propositional Logic.- 5. Big Number and Polynomial Arithmetic.- 6. Puzzles and Games.- 7. Concurrent Systems.- 8. Further Topics.- Appendices.- References.- Index.