Lecture Notes in Computer Science

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Editors: Bjorner, Dines, Broy, Manfred, Zamulin, Alexandre V. (Eds.)

Free Preview

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-540-46562-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-540-67102-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (48 chapters)

  • The Common Framework Initiative for Algebraic Specification and Development of Software

    Sannella, Donald

    Pages 1-9

  • A Logical Approach to Specification of Hybrid Systems

    Korovina, Margarita V. (et al.)

    Pages 10-16

  • Algebraic Imperative Specifications

    Gaudel, Marie-Claude (et al.)

    Pages 17-39

  • Enhanced Control Flow Graphs in Montages

    Anlauff, Matthias (et al.)

    Pages 40-53

  • Abstract State Machines for the Composition of Architectural Styles

    Sünbül, Asuman

    Pages 54-61

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-540-46562-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-540-67102-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Perspectives of System Informatics
Book Subtitle
Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
Editors
  • Dines Bjorner
  • Manfred Broy
  • Alexandre V. Zamulin
Series Title
Lecture Notes in Computer Science
Series Volume
1755
Copyright
2000
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46562-1
DOI
10.1007/3-540-46562-6
Softcover ISBN
978-3-540-67102-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 540
Number of Illustrations
176 b/w illustrations, 3 illustrations in colour
Topics