Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	TACAS (BerichterstatterIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Kowalewski, Stefan (HerausgeberIn), Philippou, Anna (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2009
Schriftenreihe:	Lecture notes in computer science 5505
Schlagworte:	Computer software > Development > System analysis > Congresses > System design > Konferenzschrift > Systementwicklung > Softwareentwicklung > Model Checking > Programmanalyse > Theoretische Informatik
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!