ZB 2003: Formal Specification and Development in Z and B Daniel W da im Rahmen des gegebenen
Description
da im Rahmen des gegebenen Umfangs nur einzelne Schwerpunktbildungen möglich sind
mit Hilfe der Internet-Technologie in den Blickpunkt des Interesses
um einen sicheren Zugang zu personalisierten Informationen und Applikationen zu realisieren
Verbindungen und Analogien zwischen den beiden einander nur auf den ersten Blick fremd wirkenden Disziplinen Architektur und Philosophie
ZB 2003: Formal Specification and Development in Z and B Daniel W da im Rahmen des gegebenenThe refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
You may also like
recommand products
