Didier Bert / Jonathan P. Bowen / Steve King / Marina Waldén (eds.)

Broschiertes Buch

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

Herausgegeben: Bert, Didier; Bowen, Jonathan P.; King, Steve; Walden, Marina

Beschreibung

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.

Autor

Didier Bert, CNRS, Saint-Martin-d'Heres Cedex, France / Jonathan P. Bowen, South Bank University, London, UK / Steve King, University of York, UK / Marina Waldén, Abo Akademi University, Turku, Finland

Produktdetails

• Lecture Notes in Computer Science 2651
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-40253-4
• 2003
• Seitenzahl: 568
• Erscheinungstermin: 20. Mai 2003
• Englisch
• Abmessung: 235mm x 155mm x 31mm
• Gewicht: 840g
• ISBN-13: 9783540402534
• ISBN-10: 3540402535
• Artikelnr.: 14804085