Piton a mechanically verified assembly-level language

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Moore, J Strother (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Dordrecht, Boston Kluwer Academic Publishers 1996
Schriftenreihe:	Automated reasoning series 3
Schlagworte:	Piton (Computer program language) > Assembly languages (Electronic computers) > FM9001 (Microprocessor) > Programming > Piton
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!