Abstract state machines verification problems and computational power

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Nowack, Antje 1976- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	2004
Schlagworte:	Abstrakte Zustandsmaschine Berechenbarkeit Entscheidbarkeit Hochschulschrift
Online-Zugang:	http://d-nb.info/972767908/34 http://sylvester.bth.rwth-aachen.de/dissertationen/2004/201/index.htm
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge