ZB 2003: Formal Specification and Development in Z and B Didier Bert
106,99 €
Titel: ZB 2003: Formal Specification and Development in Z and B, Untertitel: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, Einband: Taschenbuch, Autor: Didier Bert, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 568, Maße: 235x155x31 mm, Gewicht: 850 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Sprache / Formale Sprache B method Design Formal Specification Program Transformation Systems development Unified Modeling Language (UML) XML Z Notation ZML algorithm algorithms communication modeling object-Z verification.
Jetzt bei Ebay:
