Leveraging applications of formal methods, verification and validation
: third international symposium ; proceedings / ISoLA 2008, Porto Sani, Greece, October 13 - 15, 2008. Tiziana Margaria ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 17)
ISBN 978-3-540-88479-8
Lizenzpflichtig
Quelle: DNB
Muthig, Dirk: A light-weight approach facilitating an evolutionary transition towards software product lines
/ von Dirk Muthig. - Stuttgart : Fraunhofer-IRB-Verl., 2002. - XX, 207 S. : graph. Darst.; 24 cm - (PhD theses in experimental software engineering; Vol. 11)
ISBN 978-3-8167-6208-9 / 3-8167-6208-5 kart. : EUR 37.00
Quelle: DNB
Logic based program synthesis and transformation
: 17th international symposium ; revised selected papers / LOPSTR 2007, Kongens Lyngby, Denmark, August 23 - 24, 2007. Andy King (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4915)
ISBN 978-3-540-78769-3
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 9th international workshop ; selected papers / LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.). - Berlin : Springer, 2000. - VIII, 312 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1817)
ISBN 978-3-540-67628-7 / 3-540-67628-7 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Logic, language information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ; Ruy de Queiroz (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4576)
ISBN 978-3-540-73443-7 / 3-540-73443-0 kart. : EUR 55.64 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4576)
ISBN 978-3-540-73445-1
Lizenzpflichtig
Quelle: DNB
Logic program synthesis and transformation
: proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7 - 9 July 1993 / Yves Deville (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1994. - XII, 245 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19864-2 / 3-540-19864-4 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Making globally distributed software development a success story
: proceedings / International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10 - 11, 2008. Qing Wang ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5007)
ISBN 978-3-540-79588-9
Lizenzpflichtig
Quelle: DNB
Steinweg, Carl: Management der Software-Entwicklung
: Projektkompass für die Erstellung von leistungsfähigen IT-Systemen / Carl Steinweg. Hrsg. von Stephen Fedtke. - 6., durchges. Aufl. - Wiesbaden : Vieweg, 2005. - XXIV, 397 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-528-55490-3 / 3-528-55490-8 kart. : EUR 49.90
Literaturverz. S. 381 - 383
Quelle: DNB Verlagsmeldungen
Steinweg, Carl: Management der Software-Entwicklung
: Projektkompass für die Erstellung von leistungsfähigen IT-Systemen / Carl Steinweg. - 5., vollst. überarb. und erw. Aufl. - Wiesbaden : Vieweg, 2004. - XXIV, 397 S. : graph. Darst.; 24 cm - (Zielorientiertes Software Development)
ISBN 978-3-528-45490-6 / 3-528-45490-3 kart. : EUR 49.90
Literaturverz. S. 381 - 383
Quelle: DNB
