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
The 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 applications, tools, and case studies.
CHF 140.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Bowen, Jonathan P. (Hrsg.) / King, Steve (Hrsg.) / Waldén, Marina (Hrsg.)
- ISBN: 978-3-540-44880-8
- EAN: 9783540448808
- Produktnummer: 37138505
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 554 S.
- Plattform: PDF
- Auflage: 2003
- Reihenbandnummer: 2651
28 weitere Werke von Didier (Hrsg.) Bert:
Bewertungen
Anmelden