|
" Tools and algorithms for the construction and analysis of systems "
Cormac Flanagan, Barbara König (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605277
|
| Doc. No
|
:
|
b434496
|
| Main Entry
|
:
|
TACAS 2012(2012 :, Tallinn, Estonia)
|
| Title & Author
|
:
|
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 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 /\ Cormac Flanagan, Barbara König (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7214.Advanced research in computing and software science
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (xix, 560 p.) :: ill. (some col.)
|
| ISBN
|
:
|
9783642287565 (electronic bk.)
|
|
|
:
|
: 3642287565 (electronic bk.)
|
|
|
:
|
9783642287558
|
|
|
:
|
3642287557
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
System design, Congresses
|
| Subject
|
:
|
System analysis, Congresses
|
| Dewey Classification
|
:
|
004.2/1
|
| LC Classification
|
:
|
QA76.9.S88T33 2012eb
|
|
|
:
|
QA76.9.S88T33 2012eb
|
| Added Entry
|
:
|
Flanagan, Cormac
|
|
|
:
|
König, Barbara,Prof. Dr
|
| Added Entry
|
:
|
ETAPS 2012(2012 :, Tallinn, Estonia)
|
| Parallel Title
|
:
|
TACAS 2012
|
|
|
:
|
: ETAPS 2012
|
| |