Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642173356, 9783642173363

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parameterisation

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_6 ◽

2011 ◽

pp. 259-292

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Working within an arbitrary logical system

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_4 ◽

2011 ◽

pp. 155-228

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Logical System

Working with multiple logical systems

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_10 ◽

2011 ◽

pp. 485-532

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Behavioural specifications

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_8 ◽

2011 ◽

pp. 325-399

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Category theory

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_3 ◽

2011 ◽

pp. 97-153

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Category Theory

Universal algebra

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_1 ◽

2011 ◽

pp. 15-39 ◽

Cited By ~ 1

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Universal Algebra

Proofs for specifications

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_9 ◽

2011 ◽

pp. 401-484

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Formal program development

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_7 ◽

2011 ◽

pp. 293-324 ◽

Cited By ~ 1

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Program Development ◽

Formal Program

Simple equational specifications

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_2 ◽

2011 ◽

pp. 41-95

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Keyword(s):

Equational Specifications

Structured specifications

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development ◽

10.1007/978-3-642-17336-3_5 ◽

2011 ◽

pp. 229-258

Author(s):

Donald Sannella ◽

Andrzej Tarlecki

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software DevelopmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Parameterisation

Working within an arbitrary logical system

Working with multiple logical systems

Behavioural specifications

Category theory

Universal algebra

Proofs for specifications

Formal program development

Simple equational specifications

Structured specifications

Monographs in Theoretical Computer Science. An EATCS Series - Foundations of Algebraic Specification and Formal Software Development
Latest Publications