Formal Methods in Computer Science
-
- 114٫99 US$
-
- 114٫99 US$
وصف الناشر
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
النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٩
٢١ يونيو
اللغة
EN
الإنجليزية
عدد الصفحات
٣٥٠
الناشر
CRC Press
البائع
Taylor & Francis Group
الحجم
٣٣٫٥
م.ب.
Fundamentals of the Theory of Computation
١٩٩٨
Applications and Theory of Petri Nets
٢٠٠٩
Time for Verification
٢٠١٠
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
٢٠٢٢
Foundations of Software Science and Computational Structures
٢٠٠٩
CONCUR 2011 -- Concurrency Theory
٢٠١١