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

Bibliographic Item (1.0)

Bjorner06

  1. Dines Bjorner
  2. Software Engineering 1, 2 and 3
  3. Springer-Verlag NY Secaucus NJ ISBN 3540211497 CR 0802-0113
  4. =UNREAD =ADVERT =EXAMPLES FORMAL DOMAIN MODEL REALITY RSL ABSTRACTION

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]