Completeness issues in trace based systems

Neelam Soundararajan
Bok · Engelsk · 1991

Utgitt	[Oslo] : Department of Informatics, University of Oslo , 1991
Omfang	38 bl.
Dewey	004.3 . - 005.3
ISBN	8273680606