ZB 2000: Formale Spezifikation und Entwicklung in Z und B, Taschenbuch von Bowen...
Zb 2000 : Formal Specification and Development in Z and B, Paperback by Bowen, Jonathan P. (EDT); Dunne, Steve (EDT); Galloway, Andy (EDT); King, Steve (EDT), ISBN 3540679448, ISBN-13 9783540679448, Brand New, Free P&P in the UK This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in th. Th documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
Jetzt bei Ebay:
