ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
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 the book. The book 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.
CHF 130.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Dunne, Steve (Hrsg.) / Galloway, Andy (Hrsg.) / King, Steve (Hrsg.)
- ISBN: 978-3-540-67944-8
- EAN: 9783540679448
- Produktnummer: 3512582
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2000
- Seitenangabe: 528 S.
- Masse: H23.5 cm x B15.5 cm x D2.8 cm 791 g
- Auflage: 2000
- Abbildungen: Paperback
- Gewicht: 791
32 weitere Werke von Jonathan P. (Hrsg.) Bowen:
Bewertungen
Anmelden