Theoretical aspects of computing - ICTAC 2011: 8th international colloquium, Johannesburg, South Afr… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Theoretical aspects of computing - ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31-September 2, 2011 ; proceedings
Beteiligte: Cerone, Antonio [Herausgeber:in]; Pihlajasaari, Pekka [Sonstige Person, Familie und Körperschaft]
Veranstaltung: ICTAC
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6916
Umfang: X, 266 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642232825; 9783642232824
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80084419
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Theoretische Informatik > Komplexität > Formale Methode
Softwareentwicklung > Programmverifikation > Softwaretest > Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Theoretical aspects of computing - ICTAC 2011