Formal methods in system design

Date :

Editeur / Publisher : Dordrecht : Kluwer , 2002-

Type : Périodique / Serial

Langue / Language : anglais / English

Catalogue Worldcat

Informatique

Relation : Formal methods in system design / London : Kluwer Academic Publishers , 1992-