|
" Tests and proofs : "
Margus Veanes, Luca Viganò (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748080
|
| Doc. No
|
:
|
b568035
|
| Main Entry
|
:
|
Margus Veanes, Luca Viganò (eds.).
|
| Title & Author
|
:
|
Tests and proofs : : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings\ Margus Veanes, Luca Viganò (eds.).
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, cop., 2013
|
| Series Statement
|
:
|
Lecture notes in computer science, 7942; LNCS sublibrary. SL 2, Programming and software engineering
|
| ISBN
|
:
|
3642389163
|
|
|
:
|
: 9783642389160
|
| Notes
|
:
|
International conference proceedings.Includes author index.Includes bibliographical references and index.
|
| Subject
|
:
|
Génie logiciel.
|
| Subject
|
:
|
Logiciels.
|
| LC Classification
|
:
|
QA76.76.T48M374 2013
|
| Added Entry
|
:
|
Luca Viganò
|
|
|
:
|
Margus Veanes
|
| Parallel Title
|
:
|
TAP 2013
|
| |