Tools and algorithms for the construction and analysis of systems
: 5th international conference ; proceedings / 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. W. Rance Cleaveland (ed.). - Berlin : Springer, 1999. - XI, 443 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1579)
ISBN 978-3-540-65703-3 / 3-540-65703-7 kart. : DM 102.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: third international workshop ; proceedings / TACAS '97, Enschede, The Netherlands, April 2 - 4, 1997. Ed Brinksma (ed.). - Berlin : Springer, 1997. - X, 431 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1217)
ISBN 978-3-540-62790-6 / 3-540-62790-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: second international workshop ; proceedings / TACAS '96, Passau, Germany, March 27 - 29, 1996. Tiziana Margaria ; Bernhard Steffen (ed.). - Berlin : Springer, 1996. - XI, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1055)
ISBN 978-3-540-61042-7 / 3-540-61042-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: first international workshop ; selected papers / TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. E. Brinksma ... (ed.). - Berlin : Springer, 1995. - 289 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1019)
ISBN 978-3-540-60630-7 / 3-540-60630-0 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Mellis, Werner: TQM der Softwareentwicklung
: mit Prozessverbesserung, Kundenorientierung und Change-Management zu erfolgreicher Software / Werner Mellis ; Georg Herzwurm ; Dirk Stelzer. - Braunschweig : Vieweg, 1996. - XIV, 300 S. : graph. Darst.; 24 cm - (Vieweg-Edition Wirtschaftsinformatik)
ISBN 978-3-528-05531-8 / 3-528-05531-6 Pp. : DM 98.00
Literaturverz. S. 275 - 286
Quelle: DNB
Mellis, Werner: TQM der Softwareentwicklung
: mit Prozeßverbesserung, Kundenorientierung und Change-Management zu erfolgreicher Software / Werner Mellis ; Georg Herzwurm ; Dirk Stelzer. - 2., verb. Aufl. - Braunschweig : Vieweg, 1998. - XVII, 300 S. : graph. Darst.; 24 cm - (Vieweg-Edition Wirtschaftsinformatik)
ISBN 978-3-528-15531-5 / 3-528-15531-0 Pp. : DM 98.00
Literaturverz. S. 275 - 300
Quelle: DNB
Unifiying the software process spectrum
: revised selected papers / International Software Process Workshop, SPW 2005, Beijing, China, May 25 - 27, 2005. Mingshu Li ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3840)
ISBN 978-3-540-32450-8
Lizenzpflichtig
Quelle: DNB
Buschlinger, Elmar: UNIX für Software-Entwickler
: Konzepte, Werkzeuge und Ideen / von Elmar Buschlinger und Frank Staab. - Stuttgart : Teubner, 1993. - 280 S. : graph. Darst.; 23 cm
ISBN 978-3-519-02290-9 / 3-519-02290-7 kart. : DM 32.00
Literaturverz. S. 247 - 255
Quelle: DNB
Baumann, Kathrin: Unterstützung der objektorientierten Systemanalyse durch Softwaremasse
: Entwicklung eines messbasierten Modellierungsratgebers / Kathrin Baumann. - Heidelberg : Physica-Verl., 1997. - VIII, 216 S. : graph. Darst.; 24 cm - (Beiträge zur Wirtschaftsinformatik; Bd. 23)
ISBN 978-3-7908-1018-9 / 3-7908-1018-5 kart. : DM 85.00, sfr 75.00, S 620.50
Quelle: DNB
Vom Bögel, Gerd: Untersuchungen zur Migration und Emulation von Architekturmodellen eingebetteter Hardware-Software-Systeme
/ Gerd vom Bögel. Fraunhofer-Institut Mikroelektronische Schaltungen und Systeme IMS. - Stuttgart : Fraunhofer-IRB-Verl., 1999. - VI, 148 S. : graph. Darst.; 21 cm
ISBN 978-3-8167-5278-3 / 3-8167-5278-0 kart.
Quelle: DNB
