List of Books in Keyword #Formal

Simple Formal Logic: With Common-Sense Symbolic Techniques
Published on: 2009
Beginner Logic and Foundations English

Perfect for students with no background in logic or philosophy, Simple Formal Logic provides a full system of logic adequate …

Logic Symbolic Techniques Common-Sense Formal
Proof and Disproof in Formal Logic: An Introduction for Programmers
Published on: 2005
Beginner Logic and Foundations English

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into …

Logic Proof Disproof Programming Formal
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Published on: 2013
Beginner Unordered English

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories …

Software Engineering Formal Programming Theories

Page 1 of 1