ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Didier Bert
Themen in »ZB 2003: Formal Specification and Development in Z and B«
B method Unified Modeling Language (UML) XML Z notation ZML algorithm algorithms communication design formal specification modeling object-Z program transformation systems development verification
Stimmen zu »ZB 2003: Formal Specification and Development in Z and B«
Details
ISBN: 9783540448808
Verlag: Springer Berlin
Erscheinung: 03.08.2003