Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Finkel, Alain (VerfasserIn), Leroux, Jérôme (Sonstige), Potapov, Igor (Sonstige)
Titel:	Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings/ edited by Alain Finkel, Jérôme Leroux, Igor Potapov
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7550
Schlagwörter:	Computer software Logic design Computer Science Computer systems > Verification > Congresses Computer science Software engineering Machine theory. Compilers (Computer programs). Algorithms. Numerical Analysis, Computer-Assisted > Congresses Algorithms > Congresses Konferenzschrift > 2012 > Bordeaux Konferenzschrift
Buchausg. u.d.T.:	Reachability problems, Berlin : Springer, 2012, XII, 148 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Themen
RVK-Notation:	SS 4800 Lecture notes in computer science Informatik Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen Schriftenreihen (indiv. Sign.) Lecture notes in computer science
Schlagwörter:	Computer software Logic design Computer Science Computer systems > Verification > Congresses Computer science Software engineering Machine theory. Compilers (Computer programs). Algorithms. Numerical Analysis, Computer-Assisted > Congresses Algorithms > Congresses Konferenzschrift > 2012 > Bordeaux Konferenzschrift Erreichbarkeit > Erreichbarkeitsmenge