Formal Techniques for Safety-Critical Systems
59.00 EUR 53.49 EUR
9% Off
Ein praxisnahes Handbuch, das formale Ansätze zur Verifikation sicherheitskritischer Systeme aus dem FTSCS‑Workshop zusammenführt und konkrete Fallstudien für Entwickler und Forscher bietet.