ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Didier Bert
Themen in »ZB 2002: Formal Specification and Development in Z and B«
B method Formal methods UML Z notation formal specification formal verification software construction software design systems development
Stimmen zu »ZB 2002: Formal Specification and Development in Z and B«
Details
ISBN: 9783540456483
Verlag: Springer Berlin
Erscheinung: 31.07.2003