Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures / Bertrand Meyer, Martin Nordio (eds.)
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although t...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | LASER, International Summer School 2011. |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2012.
|
| Series: | Lecture notes in computer science ;
7682. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 L37 2011
|
|---|---|
| QA76.76.V47 L37 2011 | Available |