Z notation
Lecturer:
Jonathan Bowen
Course information
.
Z book
.
Z notation
information from the WWW Virtual Library.
Formal methods
information from the WWW Virtual Library.
![[RUCS HOME]](/icon/cs.gif){kind=icon}
![[PREV]](/icon/prev.gif){kind=icon}
![[UP]](/icon/up.gif){kind=icon}
![[NEXT]](/icon/next.gif){kind=icon}