Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Theoretical Computer Science and General Issues

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Editors: Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-11486-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-11485-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009.

The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.

Table of contents (35 chapters)

  • Games, Interaction and Computation

    Abramsky, Samson

    Pages 1-1

  • Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed !

    Bjørner, Dines

    Pages 2-34

  • Compositional and Quantitative Model Checking (Extended Abstract)

    Larsen, Kim G.

    Pages 35-42

  • Invariants, Modularity, and Rights

    Cohen, Ernie (et al.)

    Pages 43-55

  • Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction

    Thiele, Lothar

    Pages 56-57

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-11486-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-11485-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Perspectives of Systems Informatics
Book Subtitle
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Editors
  • Amir Pnueli
  • Irina Virbitskaite
  • Andrei Voronkov
Series Title
Theoretical Computer Science and General Issues
Series Volume
5947
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-3-642-11486-1
DOI
10.1007/978-3-642-11486-1
Softcover ISBN
978-3-642-11485-4
Edition Number
1
Number of Pages
XIII, 426
Topics