Tools and algorithms for the construction and analysis of systems: 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

Media type: Book; Conference Proceedings

Title: Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

Contributor: Ramakrishnan, C. R. [Hrsg.]; Rehof, Jakob [Other]

Event: TACAS ETAPS

imprint: Berlin; Heidelberg [u.a.]: Springer, 2008

Extent: XVI, 518 S.; graph. Darst; 235 mm x 155 mm

Language: English

ISBN: 3540787992; 9783540787990

Publisher, production or purchase order numbers: Sonstige Nummer: 12245987

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 : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

Bookmarks

copies

Departmental Library DrePunct – stack

Search in field:

Recently searched for:

Departmental Library DrePunct – stack