Tools and algorithms for the construction and analysis of systems: 13th international conference, TA… - SLUB Dresden

Media type: Book; Conference Proceedings
Title: Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings
Contributor: Grumberg, Orna [Hrsg.]; Huth, Michael [Other]
Event: TACAS ETAPS
imprint: Berlin; Heidelberg [u.a.]: Springer, 2007
Published in: Lecture notes in computer science ; 4424
Extent: XX, 738 S.; Ill., graph. Darst; 235 mm x 155 mm
Language: English
ISBN: 3540712089; 9783540712084
Publisher, production or purchase order numbers: Sonstige Nummer: 12029204
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Systementwicklung
Softwareentwicklung
Model Checking
Programmanalyse
Theoretische Informatik
Origination:
Footnote: Literaturangaben

Tools and algorithms for the construction and analysis of systems