Web Directory
 

A Comparison of Z and VDM with B/AMN

  Link Details for: A Comparison of Z and VDM with B/AMN
Link Title: A Comparison of Z and VDM with B/AMN Open in a new window
Link URL: http://www.b-core.com/ZVdmB.html
Link Details: Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, UK.
Category: Top : Computers : Programming : Languages : Z
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
A Comparison of Z and VDM with B/AMN