Understanding Formal Methods
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer London

9781852332471, 9781447100430
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Classical Logic

2003 ◽  
pp. 75-94
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey
Keyword(s):  
Classical Logic

Motivation

2003 ◽  
pp. 1-13
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey

Set-theoretic Specifications

2003 ◽  
pp. 95-110
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey

A Presentation of Logical Tools

2003 ◽  
pp. 35-64
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey

Set Theory

2003 ◽  
pp. 111-124
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey
Keyword(s):  
Set Theory

Introductory Exercise

2003 ◽  
pp. 15-34
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey

Using Type Theory

2003 ◽  
pp. 233-254
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey
Keyword(s):  
Type Theory

Abstract Data Types, Algebraic Specification

2003 ◽  
pp. 189-201
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey
Keyword(s):  
Algebraic Specification ◽  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data

Deduction Systems

2003 ◽  
pp. 149-188
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey

Behavioral Specifications

2003 ◽  
pp. 125-148
Author(s):  
Jean-François Monin ◽  
Michael G. Hinchey
Load More ...
Sign in / Sign up

Export Citation Format

Share Document