This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Format EPUB ● Strony 350 ● ISBN 9781498775359 ● Wydawca CRC Press ● Opublikowany 2019 ● Do pobrania 3 czasy ● Waluta EUR ● ID 7125441 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM