Formal Methods in Computer Science

Autori

• Jiacun Wang
• William Tepfenhart

Parametri

• 294 pagine
• 11 ore di lettura

• Computer, IT, programmazione

Maggiori informazioni sul libro

The textbook offers a thorough introduction to formal methods, focusing on their use in specifying and verifying both software and hardware systems. It covers essential concepts and techniques, providing students with the foundational knowledge needed to understand and apply these methods effectively in practical scenarios.

Lingua: Inglese

Pubblicato: 2019

(In brossura)