William Tepfenhart – författare
Visar alla böcker från författaren William Tepfenhart. Handla med fri frakt och snabb leverans.
4 produkter
Formal Methods in Computer Science
Av Jiacun Wang, William Tepfenhart
Inbunden, 2019
2828 kr
Lägg i varukorg
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and …
Formal Methods in Computer Science
Av Jiacun Wang, William Tepfenhart
Häftad, 2019
1244 kr
Lägg i varukorg
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and …
Formal Methods in Computer Science
Av William Tepfenhart, Jiacun Wang
E-bok, 2019
1483 kr
Lägg i varukorg
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 …
Formal Methods in Computer Science
Av William Tepfenhart, Jiacun Wang
E-bok, 2019
1483 kr
Lägg i varukorg
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 …
