Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers [electronic resource]

• Tác giả: Martin Leucker
• Ngôn ngữ: eng
• ISBN-10: 354089246X
• ISBN-10: 3540892478
• ISBN-13: 978-3540892465
• ISBN-13: 978-3540892472
• Ký hiệu phân loại: 004 Data processing || Computer science
• Thông tin xuất bản: Berlin : Springer-Verlag, 2008
• Bộ sưu tập: Công nghệ thông tin
• ID: 65928
• Chủ đề: 1. Computer software--Verification; 2. Software engineering

Includes bibliographical references and index.