Cover Image

Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised selected papers /

Bibliographic Details
Corporate Authors: Monterey Workshop Redmond, Wash., SpringerLink (Online service)
Other Authors: Calinescu, Radu C., 1968-, Jackson, Ethan K. (Ethan Kerry)
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; Heidelberg ; New York : Springer, [2011]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 6662.
Subjects:
Computer software > Development > Congresses.
Computer software > Verification > Congresses.
Software engineering > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and author index.
ISBN:3642212921 (electronic bk.)
9783642212925 (electronic bk.)
DOI:10.1007/978-3-642-21292-5