ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceeding

indgår i serie Lecture Notes in Computer Science


ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceeding
Format:
Bog, hæftet
Udgivelsesdato:
01-05-2003
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

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.

Vis mereVis mindre

Udgivelsesdato:
01-05-2003
ISBN13:
9783540402534
Vægt:
789 g
Dybde:
29 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hæftet
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceeding

    indgår i serie Lecture Notes in Computer Science

    • Leveringstid 4-6 hverdage
    • Forventet levering 28-10-2019

    på lager

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.