Formal Methods in Computer Science
AvWilliam Tepfenhart,Jiacun Wang
E-bok
Engelska, 20191 483 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Fler format och utgåvor
Beskrivning
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
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Soft Computing and Signal Processing
K. T. V. Reddy, Prasad Chetti, Jiacun Wang, V. Sivakumar Reddy
E-bok
20253 500 kr
Intelligent Systems and Sustainable Computing
Naga Mallikarjuna Rao Dasari, Jiacun Wang, V. Kamakshi Prasad, V. Sivakumar Reddy
E-bok
20233 986 kr
Soft Computing and Signal Processing
K. T. V. Reddy, Jiacun Wang, V. Kamakshi Prasad, V. Sivakumar Reddy
E-bok
20233 986 kr
Del 1413
Soft Computing and Signal Processing
V. Sivakumar Reddy, V. Kamakshi Prasad, Jiacun Wang, K.T.V. Reddy
Häftad, 2022
2 534 kr
Intelligent Systems and Sustainable Computing
V. Sivakumar Reddy, V. Kamakshi Prasad, Jiacun Wang, Naga Mallikarjuna Rao Dasari
Häftad, 2024
3 084 kr
Del 864
Soft Computing and Signal Processing
Vustikayala Sivakumar Reddy, Jiacun Wang, K.T.V. Reddy
Häftad, 2024
2 424 kr
Del 900
Soft Computing and Signal Processing
Jiacun Wang, G. Ram Mohana Reddy, V. Kamakshi Prasad, V. Sivakumar Reddy
Häftad, 2019
2 424 kr