| Main Title |
Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers / |
| Other Authors |
|
| Publisher |
Springer, |
| Year Published |
2014 |
| OCLC Number |
877906363 |
| ISBN |
9783642541070; 3642541070 |
| Subjects |
Computer software--Verification--Congresses ;
Computer software--Quality control--Congresses ;
Compilers (Computer programs)--Congresses
|
| Holdings |
| Library |
Call Number |
Additional Info |
Location |
Last
Modified |
Checkout
Status |
| ELBM |
QA76.76.V47V47 2014 |
|
AWBERC Library/Cincinnati,OH |
10/13/2015 |
|
| Collation |
xvi, 345 pages : illustrations ; 24 cm. |
| Notes |
Includes bibliographical references and author index. |
| Place Published |
Heidelberg |
| Title Ser Add Ent |
Lecture notes in computer science ; 8164.; LNCS sublibrary. Programming and software engineering. |
| Conference Title |
VSTTE (Conference) |
| Alternate Title |
VSTTE 2013 |
| PUB Date Free Form |
014 |
| Series Title Untraced |
Lecture Notes in Computer Science, 8164\ LNCS sublibrary. SL 2, Programming and software engineering |
| BIB Level |
m |
| Medium |
unmediated |
| Content |
text |
| Carrier |
volume |
| Cataloging Source |
RDA |
| Merged OCLC records |
867615535 |
| OCLC Time Stamp |
20151009141942 |
| Language |
eng |
| Origin |
OCLC |
| Type |
CAT |
| OCLC Rec Leader |
02127cam 2200493Ii 45020 |
