|
" Integrated formal methods : "
Einar Broch Johnsen, Luigia Petre (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748044
|
| Doc. No
|
:
|
b567997
|
| Main Entry
|
:
|
Einar Broch Johnsen, Luigia Petre (eds.).
|
| Title & Author
|
:
|
Integrated formal methods : : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings\ Einar Broch Johnsen, Luigia Petre (eds.).
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, cop., 2013
|
| Series Statement
|
:
|
Lecture notes in computer science, 7940; LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
(xiii, 442 pages)
|
| ISBN
|
:
|
364238613X
|
|
|
:
|
: 9783642386138
|
| Notes
|
:
|
International conference proceedings.Includes author index.Includes bibliographical references and index.Print version record.
|
| Subject
|
:
|
Génie logiciel.
|
| Subject
|
:
|
Méthodes formelles (informatique)
|
| Subject
|
:
|
Systèmes informatiques.
|
| Added Entry
|
:
|
Einar Broch Johnsen
|
|
|
:
|
Luigia Petre
|
| Parallel Title
|
:
|
IFM 2013
|
| |