Structural operational semantics

Bibliographische Detailangaben

Weitere Verfasser:	Aceto, Luca (BerichterstatterIn), Fokkink, Wan (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 2004
Schriftenreihe:	The journal of logic and algebraic programming 60-61
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!