Formal Methods in Computer Science
AvWilliam Tepfenhart,Jiacun Wang
E-bok
PDF, Engelska, 20191 314 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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 283 kr
Intelligent Systems and Sustainable Computing
Naga Mallikarjuna Rao Dasari, Jiacun Wang, V. Kamakshi Prasad, V. Sivakumar Reddy
E-bok
20233 817 kr
Soft Computing and Signal Processing
K. T. V. Reddy, Jiacun Wang, V. Kamakshi Prasad, V. Sivakumar Reddy
E-bok
20233 872 kr
Del 1413
Soft Computing and Signal Processing
V. Sivakumar Reddy, V. Kamakshi Prasad, Jiacun Wang, K.T.V. Reddy
Häftad, 2022
2 458 kr
Intelligent Systems and Sustainable Computing
V. Sivakumar Reddy, V. Kamakshi Prasad, Jiacun Wang, Naga Mallikarjuna Rao Dasari
Häftad, 2024
2 991 kr
Del 898
Soft Computing and Signal Processing
Jiacun Wang, G. Ram Mohana Reddy, V. Kamakshi Prasad, V. Sivakumar Reddy
Häftad, 2019
2 458 kr
Del 900
Soft Computing and Signal Processing
Jiacun Wang, G. Ram Mohana Reddy, V. Kamakshi Prasad, V. Sivakumar Reddy
Häftad, 2019
2 351 kr