Modern applications of automata theory ed. Deepak D'Souza ...

Bibliographische Detailangaben

Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	New Jersey u.a. World Scientific 2012
Schriftenreihe:	IISc research monographs series 2
Schlagworte:	Automatentheorie Theoretische Informatik Model Checking Programmverifikation
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!