Formal Specification using Z Notation

its a Z Notation Application Coursework

recommended Book Z or similiar to

Lightfoot, David, 1951- Formal specification using Z

you will need to use TranZit Software. and Z Font. please send me some demo of your understanding of the project.


Veja mais: tranzit notation, formal specification using, formal specification demo, formal specificationz notation, Specification, recommended, notation, coursework, software using, using project, using software, project david, application project using, formal, project using, application demo, software specification project, specification project, using, demo application, book application, software specification , notation project, lightfoot, software project specification

Acerca do Empregador:
( 1 comentário ) ipsl, United Kingdom

ID do Projeto: #147531