Tools and algorithms for the construction and analysis of systems 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; proceedings

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	TACAS (BerichterstatterIn), ETAPS (BerichterstatterIn)
Weitere Verfasser:	Cleaveland, W. Rance (BerichterstatterIn), Cleaveland, Walter R. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 1999
Schriftenreihe:	Lecture notes in computer science 1579
Schlagworte:	System design > Computer software > Development > Electronic data processing > Distributed processing > System analysis > Congresses > Konferenzschrift > Softwareentwicklung
Online Zugang:	Cover Publisher description
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!