A formalization of finite and infinite sequences in PVS

Bibliographische Detailangaben

1. Verfasser:	Devillers, M. C. A. (VerfasserIn)
Weitere Verfasser:	Griffioen, W. O. D. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Nijmegen Katholieke Univ., CSI 1997
Schriftenreihe:	Technical report / Computing Science Institute Nijmegen, Katholieke Universiteit Nijmegen CSI-R9702
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!