Formal Methods in Computer Science

Auteurs

• Jiacun Wang
• William Tepfenhart

Paramètres

• 294 pages
• 11 heures de lecture

• Informatique, programmation

En savoir plus sur le livre

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.

Achat du livre

• Année de publication: 2019
• Reliure: (rigide)