Undergraduate Topics in Computer Science - Concise Guide to Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319640204, 9783319640211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Z Formal Specification Language

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_8 ◽

2017 ◽

pp. 155-171 ◽

Cited By ~ 1

Author(s):

Gerard O’Regan

Keyword(s):

Formal Specification ◽

Specification Language ◽

Formal Specification Language

Download Full-text

Overview of Formal Methods

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_3 ◽

2017 ◽

pp. 41-63

Author(s):

Gerard O’Regan

Keyword(s):

Formal Methods

Download Full-text

Propositional and Predicate Logic

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_6 ◽

2017 ◽

pp. 109-135

Author(s):

Gerard O’Regan

Keyword(s):

Predicate Logic

Download Full-text

The Nature of Theorem Proving

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_15 ◽

2017 ◽

pp. 263-271

Author(s):

Gerard O’Regan

Keyword(s):

Theorem Proving

Download Full-text

Software Engineering

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_1 ◽

2017 ◽

pp. 1-25

Author(s):

Gerard O’Regan

Keyword(s):

Software Engineering

Download Full-text

Irish School of VDM

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_10 ◽

2017 ◽

pp. 187-204

Author(s):

Gerard O’Regan

Keyword(s):

Irish School

Download Full-text

Industrial Tools for Formal Methods

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_17 ◽

2017 ◽

pp. 291-299

Author(s):

Gerard O’Regan

Keyword(s):

Formal Methods

Download Full-text

Erratum to: Concise Guide to Formal Methods

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_20 ◽

2017 ◽

pp. E1-E1

Author(s):

Gerard O’Regan

Keyword(s):

Formal Methods ◽

Concise Guide

Download Full-text

Vienna Development Method

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_9 ◽

2017 ◽

pp. 173-186

Author(s):

Gerard O’Regan

Keyword(s):

Development Method

Download Full-text

Technology Transfer to Industry

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods ◽

10.1007/978-3-319-64021-1_18 ◽

2017 ◽

pp. 301-309

Author(s):

Gerard O’Regan

Keyword(s):

Technology Transfer

Download Full-text

Undergraduate Topics in Computer Science - Concise Guide to Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Z Formal Specification Language

Overview of Formal Methods

Propositional and Predicate Logic

The Nature of Theorem Proving

Software Engineering

Irish School of VDM

Industrial Tools for Formal Methods

Erratum to: Concise Guide to Formal Methods

Vienna Development Method

Technology Transfer to Industry

Undergraduate Topics in Computer Science - Concise Guide to Formal Methods
Latest Publications