Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Sannella, Donald.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Foundations of algebraic specification and formal software development by: SpringerLink (Online service); Sannella, Donald.; Tarlecki, Andrzej. (Electronic resources)

Subjects

Formal methods (Computer science) Computer science- Mathematics. Software Engineering/Programming and Operating Systems. Category Theory, Homological Algebra. Computer Science. Mathematical Logic and Foundations. Logics and Meanings of Programs. Computer software- Development. Software engineering.

Change password

Login