Resources

Formal Models of Agents

Author : Meyer 

Springer

Access online

Formal Ontology and Conceptual Realism

Author : Cocchiarella 

Springer

Access online

Formal Program Development

Author : Möller 

Springer

Access online

Formal Syntax and Semantics of Java

Author : Alves-Foss 

Springer

Access online

Formal Systems Specification

Author : Broy 

Springer

Access online