Springer celebrates 175 years of publishing excellence! Join us >>

Theoretical Computer Science and General Issues

Perspectives of Systems Informatics

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

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

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-70881-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-70880-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2006), held in Akademgorodok (Novosibirsk, Russia), June 27-30, 2006. The conference was held to honour the 75th anniversary of a member of the Russian Academy of Sciences Andrei Ershov (1931–1988) and his outsta- ing contributions towards advancing informatics. The role of Andrei Ershov in the establishment and development of the theory of programming and systems programming in our country cannot be overestimated. Andrei was one of the founders of the Siberian Computer Science School. He guided and took active part in the development of the programming system ALPHA and the mul- language system BETA, and authored some of the most remarkable results in the theoryofprogramming. Andreiisjustly consideredoneofthefoundersofthe theory of mixed computation. In 1974 he was nominated as Distinguished F- low of the British Computer Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov’s brilliant speeches were always in the focus of public attention. Especially notablewerehis lectures “Aesthetic and HumanFactorinProgramming”and“Programming—TheSecondLiteracy. ”He was not only an extremely gifted scientist, teacher and ?ghter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R. Kipling and other English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and working with him will always remember his great vision, eminent achievements and generous friendship.

Table of contents (45 chapters)

  • Separability in Conflict-Free Petri Nets

    Best, Eike (et al.)

    Pages 1-18

  • Grand Challenges of System Programming

    Ivannikov, Victor

    Pages 19-19

  • Specifying and Verifying Programs in Spec#

    M. Leino, K. Rustan

    Pages 20-20

  • Basic Protocols: Specification Language for Distributed Systems

    Letichevsky, Alexander

    Pages 21-25

  • Why Automata Models Are Sexy for Testers? (Invited Talk)

    Petrenko, Alexandre

    Pages 26-26

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-70881-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-70880-3
  • 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
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Editors
  • Andrei Voronkov
  • Irina Virbitskaite
Series Title
Theoretical Computer Science and General Issues
Series Volume
4378
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70881-0
DOI
10.1007/978-3-540-70881-0
Softcover ISBN
978-3-540-70880-3
Edition Number
1
Number of Pages
XIV, 496
Topics