Noch Fragen? 0800 / 33 82 637

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-44525-8 / 978-3540445258 / 9783540445258

Verlag: Springer Berlin

Erscheinungsdatum: 26.06.2003

Seiten: 510

Herausgegeben von Jonathan P. Bowen, Steve Dunne, Andrew Galloway, Steve King, Andy Galloway

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück