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 /
Saved in:
| Meeting name: | Monterey Workshop (16th : 2010 : Redmond, Wash.) |
|---|---|
| Imprint: | Berlin ; Heidelberg ; New York : Springer, ©2011. |
| Description: | 1 online resource (xii, 238 pages). |
| Language: | English |
| Series: | Lecture notes in computer science, 0302-9743 ; 6662 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 6662. LNCS sublibrary. SL 2, Programming and software engineering. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11075670 |