Z specification language in eclipse with a small example - part-2

Z specification language in eclipse with a small example - part-2

Z specification language in eclipse with a small example - part-2

This tutorial shows how we can write Z specification language in Eclipse and presents an example of coding with Z in eclipse. Visit www.pakproject.com for more tutorials.

User: pakproject

Views: 6

Uploaded: 2015-11-01

Duration: 21:59