Advertisement

Table of contents

  1. Front Matter
  2. V. Carchiolo, A. Faro, F. Minissale, G. Scollo
    Pages 47-58
  3. Ana R. Cavalli, Luis Fariñas Del Cerro
    Pages 59-73
  4. JC. Cottet, C. Renvoise, D. Sciamma
    Pages 89-100
  5. P. Feautrier
    Pages 113-124
  6. Jeanne Ferrante, Karl J. Ottenstein, Joe D. Warren
    Pages 125-132
  7. Pedro Guerreiro
    Pages 133-144
  8. S. Heilbrunner, L. Schmitz
    Pages 145-154
  9. Ryszard Janicki
    Pages 155-166
  10. M. W. Shields
    Pages 229-239

About these proceedings

Keywords

Attribut Smalltalk design language programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-12925-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12925-7
  • Online ISBN 978-3-540-38809-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering