Formal aspects of computing : applicable formal methods / editor-in-chief Cliff B. Jones

Date :

Editeur / Publisher : London : Springer , 199X-

Type : Périodique / Serial

Langue / Language : anglais / English

Informatique

Jones, Cliff B. (1944-....) (Editeur scientifique / editor)

British computer society (Editeur scientifique / editor)

Relation : Formal aspects of computing / London : Springer Internat , 1989-