Jiacun Wang 
Formal Methods in Computer Science [EPUB ebook] 

Wsparcie

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

€91.78
Metody Płatności
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

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

48 816 Ebooki w tej kategorii