[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)


  1. Loe Feijs(Philips Reearch Laboratories Eindvoven)
  2. A Formalization of Design Methods: A λ-calculus Approach to Systems Design with an Application to Text Editing
  3. Ellis Horwood Chichester West Sussex UK 1993
  4. ISBN 0-13-106113-5
  5. Reviews CR9408-0498 IEEE Software magazine V11n5(Sep 1994)p130 by Anthony Hall(Praxis)
      Keywords: COLD-K, VDM, Z, Designs as DAGS, black box and glass box properties. Specification \square_less_than_equal Implementation


Search for bibliographic items containing a matching string.

(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.

To see the complete bibliography (1Mb+) select:[Bibliography]