Computability and logic /

LED-Verification-Sensoren

Fundamentals of computer logic /

Computability, Complexity, Logic. /

Kant's solution for verification in metaphysics /

The logical basis for computer programming. Volume 2., Deductive systems. /

Logical design for computers and control.

Formal VLSI correctness verification : VLSI design methods. 2 /

Algebra, Combinatorics and Logic in Computer Science Vol. 2

Algebra, combinatorics and logic in computer science. Vol. 1

Logic and algorithms, with applications to the computer and information sciences /

Fundamentals of logic design /

Fundamentals of logic design.

Computer science and multiple-valued logic theory and applications /

Protocol Specification, Testing, and Verification, IV. Proceedings of the IFIP WG 6.1 Fourth International Workshop on Protocol Specification, Testing, and Verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984.

Mathematical Logic.

Une vérification du troisième principe de la thermodynamique.

Verification of dual-use chemicals under the chemical weapons convention: The case of thiodiglycol. /

Logic : key concepts in philosophy /

Logical writings /

Computer Logic, Testing and Verification.