> Details

Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; King, Steve [Other]; Waldén, Marina [Other]

ZB 2003: Formal Specification and Development in Z and B

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: 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
  • Contributor: Bert, Didier [Author]; Bowen, Jonathan P. [Other]; King, Steve [Other]; Waldén, Marina [Other]
  • imprint: Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003
  • Published in: Lecture notes in computer science ; 2651
    Bücher
    Computer Science
  • Extent: Online-Ressource
  • Language: English
  • DOI: 10.1007/3-540-44880-2
  • ISBN: 9783540448808; 3540402535
  • Identifier:
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > Z
    Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > B
  • Origination:
  • Footnote: Literaturangaben
  • Description: This book constitutes 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