|
" Perspectives of systems informatics "
Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
605353
|
| Doc. No
|
:
|
b434572
|
| Main Entry
|
:
|
International Andrei Ershov Memorial Conference(8th :2011 :, Novosibirsk, Russia)
|
| Title & Author
|
:
|
Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers /\ Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, c2012
|
| Series Statement
|
:
|
Lecture notes in computer science,; 7162
|
|
|
:
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource (xiii, 410 p.) :: ill. (some col.)
|
| ISBN
|
:
|
9783642297090 (electronic bk.)
|
|
|
:
|
: 3642297099 (electronic bk.)
|
|
|
:
|
9783642297083
|
|
|
:
|
3642297080
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer science, Congresses
|
| Subject
|
:
|
Software engineering, Congresses
|
| Subject
|
:
|
Systems engineering, Congresses
|
| Dewey Classification
|
:
|
004
|
| LC Classification
|
:
|
QA75.5.I52 2011eb
|
|
|
:
|
QA75.5.I52 2011eb
|
| Added Entry
|
:
|
Clarke, E. M.,1945-
|
|
|
:
|
Virbitskaite, Irina
|
|
|
:
|
Voronkov, A., (Andreĭ),1959-
|
| Parallel Title
|
:
|
PSI 2011
|
| |