Media type: Book; Conference Proceedings Title: Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings Contributor: Jones, Cliff B. [Hrsg.]; Liu, Zhiming [Other]; Woodcock, Jones [Other] Event: ICTAC imprint: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4711 Extent: XI, 481 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540752900; 9783540752905 Publisher, production or purchase order numbers: Sonstige Nummer: 12167203 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Theoretische Informatik Model Checking Systementwicklung > Formale Methode Softwareentwicklung > Komponente Nebenläufigkeit Verteilte Programmierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8821 Item ID: 31875564 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.