Formal Methods in Computer Science

Autori

• Jiacun Wang
• William Tepfenhart

Parametri

• 294 pagine
• 11 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

Focusing on formal methods, this textbook provides a thorough introduction to their application in specifying and verifying both software and hardware. It equips students with essential concepts and techniques, making it a valuable resource for understanding the rigor and precision required in the development of reliable systems.

Lingua: Inglese

Pubblicato: 2019

(Copertina rigida)