Some theoretical aspects of program construction

  • Claude Pair
IV. Special Language Considerations And Formal Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)


Successive Approximation Specification Language Partial Function Mutual Exclusion Total Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Claude Pair
    • 1
  1. 1.Institut National Polytechnique de Lorraine Porte de la CraffeNancy CedexFrance

Personalised recommendations