Suggested Topics within your search.
Computer logic 1 Computer programming 1 Logics and Meanings of Programs 1 Mathematical Logic and Formal Languages 1 Mathematical logic 1 Programming Languages, Compilers, Interpreters 1 Programming Techniques 1 more ...
Computer logic 1 Computer programming 1 Logics and Meanings of Programs 1 Mathematical Logic and Formal Languages 1 Mathematical logic 1 Programming Languages, Compilers, Interpreters 1 Programming Techniques 1 more ...
1
Published 2008
Table of Contents: ';
“... USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR....”Get full text
