Theoretical aspects of computing - ICTAC 2007: 4th international colloquium, Macao, China, September… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings
Beteiligte: Jones, Cliff B. [Hrsg.]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jones [Sonstige Person, Familie und Körperschaft]
Veranstaltung: ICTAC
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2007
Erschienen in: Lecture notes in computer science ; 4711
Umfang: XI, 481 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3540752900; 9783540752905
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 12167203
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Theoretische Informatik
Model Checking
Systementwicklung > Formale Methode
Softwareentwicklung > Komponente
Nebenläufigkeit
Verteilte Programmierung
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings