|
" Fundamental approaches to software engineering "
Juan de Lara, Andrea Zisman (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605286
|
| Doc. No
|
:
|
b434505
|
| Main Entry
|
:
|
FASE 2012(2012 :, Tallinn, Estonia)
|
| Title & Author
|
:
|
Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012 : proceedings /\ Juan de Lara, Andrea Zisman (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7212
|
|
|
:
|
Advanced research in computing and software science
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (xvi, 518 p.) :: ill. (some col.)
|
| ISBN
|
:
|
9783642288722 (electronic bk.)
|
|
|
:
|
: 3642288723 (electronic bk.)
|
|
|
:
|
9783642288715
|
|
|
:
|
3642288715
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Software engineering, Congresses
|
| Subject
|
:
|
Computer software-- Development, Congresses
|
| Subject
|
:
|
Computer software-- Verification, Congresses
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.758.F44 2012eb
|
|
|
:
|
QA76.758.F44 2012eb
|
| Added Entry
|
:
|
Lara, Juan de, (Lara Jaramillo)
|
|
|
:
|
Zisman, Andrea
|
| Added Entry
|
:
|
ETAPS 2012(2012 :, Tallinn, Estonia)
|
| Parallel Title
|
:
|
FASE 2012
|
|
|
:
|
: ETAPS 2012
|
| |