Conference proceedings on formal methods in software development

Författare: Calif.) (1990 ACM Sigsoft International Workshop on Formal Methods in Software Development Napa
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
ACM	uuuu-uuuu	Utgivningsland okänt / Ej specificerat