Lecture Notes in Computer Science

Recent Trends in Algebraic Development Techniques

14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

Editors: Bert, Didier, Choppy, Christine, Mosses, Peter (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-44616-3
  • 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-540-67898-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (26 chapters)

  • A Type-Theoretic Memory Model for Verification of Sequential Java Programs

    Berg, Joachim (et al.)

    Pages 1-21

  • From States to Histories

    Broy, Manfred

    Pages 22-36

  • Principles and Pragmatics of Subtyping in PVS

    Shankar, Natarajan (et al.)

    Pages 37-52

  • Extending Casl by Late Binding

    Ancona, Davide (et al.)

    Pages 53-72

  • Towards an Evolutionary Formal Software-Development Using CASL

    Autexier, Serge (et al.)

    Pages 73-88

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-44616-3
  • 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-540-67898-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
Recent Trends in Algebraic Development Techniques
Book Subtitle
14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Editors
  • Didier Bert
  • Christine Choppy
  • Peter Mosses
Series Title
Lecture Notes in Computer Science
Series Volume
1827
Copyright
2000
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44616-3
DOI
10.1007/b75154
Softcover ISBN
978-3-540-67898-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 490
Topics