|
" Tools and algorithms for the construction and analysis of systems "
Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604873
|
| Doc. No
|
:
|
b434092
|
| Main Entry
|
:
|
TACAS (Conference)(17th :2011 :, Saarbrücken, Germany)
|
| Title & Author
|
:
|
Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings /\ Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
|
| Publication Statement
|
:
|
Berlin ;Heidelberg ;New York :: Springer,, c2011
|
| Series Statement
|
:
|
Lecture notes in computer science,; 6605.Advanced research in computing and software science
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (xvi, 394 p.) :: ill
|
| ISBN
|
:
|
9783642198359 (electronic bk.)
|
|
|
:
|
: 364219835X (electronic bk.)
|
|
|
:
|
9783642198342
|
| Notes
|
:
|
International conference proceedings
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
| Abstract
|
:
|
The LNCS subline Advanced Research in Computing and Software Science, ARCoSS, has been established in cooperation with the European Association for Theoretical Computer Science, EATCS, and the community of the European Joint Conferences on Theory and Practice of Software, ETAPS. Starting out with the proceedings of the EATCS main conferences and the ETAPS conferences, ARCoSS is also open to other high-quality proceedings focusing on computing and software science. Embedded in the overall framework of LNCS, ARCoSS is scientifically supervised by the ARCoSS-subline series editors and advisory hoard and is published with its own distinctive cover
|
|
|
:
|
In parallel to the printed book, each new volume is published electronically in LNCS Online. Book jacket
|
| Subject
|
:
|
System design, Congresses
|
| Subject
|
:
|
System analysis, Congresses
|
| Dewey Classification
|
:
|
004.2/1
|
| LC Classification
|
:
|
QA76.9.S88T33 2011
|
| Added Entry
|
:
|
Abdulla, Parosh Aziz
|
|
|
:
|
Leino, K. Rustan M
|
| Added Entry
|
:
|
ETAPS (Conference)(2011 :, Saarbrücken, Germany)
|
| Parallel Title
|
:
|
TACAS 2011
|
|
|
:
|
: ETAPS 2011
|
| |