An extended prolog architecture for integrated symbolic and numeric executions

Bibliographische Detailangaben

1. Verfasser:	Yung, Robert (VerfasserIn)
Weitere Verfasser:	Despain, Alvin M. (VerfasserIn), Patt, Yale N. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berkeley, Calif. Univ. of California 1988
Schriftenreihe:	Report / Computer Science Division (EECS), UCB/CSD 88/445
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!