Theoretical aspects of computing - ICTAC 2010: 7th international colloquium, Natal, Rio Grande do No… - SLUB Dresden

Media type: Book; Conference Proceedings
Title: Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings
Contributor: Cavalcanti, Ana [Editor]; Deharbe, David [Other]; Gaudel, Marie-Claude [Other]; Woodcock, Jim [Other]
Event: ICTAC
Published: Berlin; Heidelberg [u.a.]: Springer, 2010
Published in: Lecture notes in computer science ; 6255
Extent: XIII, 396 S.; graph. Darst
Language: English
ISBN: 3642148077; 9783642148071
Publisher, production or purchase order numbers: Sonstige Nummer: 80018850
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Theoretische Informatik > Programmierung > Formale Methode
Softwareentwicklung > Programmverifikation > Softwaretest > Formale Methode
Origination:
Footnote: Literaturangaben

Theoretical aspects of computing - ICTAC 2010