Jiacun Wang
Gebundenes Buch

Formal Methods in Computer Science

Versandkostenfrei!
Versandfertig in 1-2 Wochen
193,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
97 °P sammeln!
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In ...