Resources

Modular Compiler Verification

Author : Müller-Olm 

Springer

Access online

Modular Ontologies

Author : Stuckenschmidt 

Springer

Access online

Modular Programming Languages

Author : Böszörményi 

Springer

Access online

Modular Programming Languages

Author : Lightfoot 

Springer

Access online

Modular Programming Languages

Author : Mössenböck 

Springer

Access online