Advanced lectures on software engineering
Subtitle: LASER summer school 2007/2008
By: Peter Müller (ed.).
Series: Lecture notes in computer science -- 6029; Lecture notes in computer science -- 6029.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin
Language: eng
Number of pages: 187
ISBN-13: 9783642130090
Subjects: Programmverifikation; Software enginnering; Congresses; Software Engineering; Nebenläufigkeit
Notes: Includes bibliographical references and index.