|
" Tools and algorithms for the construction and analysis of systems "
Nir Piterman, Scott A. Smolka (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605750
|
| Doc. No
|
:
|
b434969
|
| Main Entry
|
:
|
TACAS 2013(2013 :, Rome, Italy)
|
| Title & Author
|
:
|
Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /\ Nir Piterman, Scott A. Smolka (eds.)
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c2013
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7795
|
|
|
:
|
Advanced reseawrch in computing and software science
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
9783642367427 (electronic bk.)
|
|
|
:
|
: 3642367429 (electronic bk.)
|
|
|
:
|
9783642367410
|
| Notes
|
:
|
International conference proceedings
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
| Subject
|
:
|
System design, Congresses
|
| Subject
|
:
|
Computer software-- Verification, Congresses
|
| Subject
|
:
|
System analysis, Congresses
|
| Dewey Classification
|
:
|
004.2/1
|
| LC Classification
|
:
|
QA76.9.S88T33 2013
|
|
|
:
|
QA76.9.S88T33 2013
|
| Added Entry
|
:
|
Piterman, Nir
|
|
|
:
|
Smolka, Scott A
|
| Added Entry
|
:
|
Ohio Library and Information Network
|
|
|
:
|
ETAPS (Conference)(16th :2013 :, Rome, Italy)
|
| Parallel Title
|
:
|
TACAS 2013
|
|
|
:
|
: ETAPS 2013
|
| |