Automata, Languages and Programming
30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jos C.M. Baeten
Themen in »Automata, Languages and Programming«
Automat Bisimulation Internet algorithms automata complexity data structures logic model checking online optimization programming verification
Stimmen zu »Automata, Languages and Programming«
Details
ISBN: 9783540404934
Verlag: Springer Berlin
Erscheinung: 25.06.2003