Paech, Barbara: Aufgabenorientierte Softwareentwicklung
: integrierte Gestaltung von Unternehmen, Arbeit und Software / Barbara Paech. - Berlin : Springer, 2000. - X, 257 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-65738-5 / 3-540-65738-X kart. : DM 69.00, sfr 63.00, S 504.00
Quelle: DNB
Knöll, Heinz-Dieter: Aufwandsschätzung von Software-Projekten in der Praxis
: Methoden, Werkzeugeinsatz, Fallbeispiele / von Heinz-Dieter Knöll ; Jürgen Busse. - Mannheim : BI-Wiss.-Verl., 1991. - 204 S. : graph. Darst.; 22 cm - (Angewandte Informatik; Bd. 8)
ISBN 978-3-411-14341-2 / 3-411-14341-X Pp. : DM 48.00
Quelle: DNB
Automated technology for verification and analysis
: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)
ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)
ISBN 978-3-540-31969-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 6th international symposium ; proceedings / ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5311)
ISBN 978-3-540-88387-6
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 5th international symposium ; proceedings / ATVA 2007, Tokyo, Japan, October 22 - 25, 2007. Kedar S. Namjoshi ... (ed.). - Berlin : Springer, 2007. - XIV, 566 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4762)
ISBN 978-3-540-75595-1 / 3-540-75595-0 kart. : EUR 72.76 (freier Pr.), ca. sfr 118.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Christoph, Alexander: Automatische Transformation von Software-Modellen
/ Alexander Christoph. - Norderstedt : Books on Demand GmbH, 2005. - XII, 135 S. : graph. Darst.; 22 cm
ISBN 3-8334-3655-7 kart. : EUR 17.80
Quelle: DNB Verlagsmeldungen
Automotive software connected services in mobile networks
: revised selected papers / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10 - 12, 2004. Manfred Broy ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4147)
ISBN 978-3-540-37678-1
Lizenzpflichtig
Quelle: DNB
