ZB 2003: Formal Specification and Development in Z and B (eBook, PDF)
eBook, PDF

ZB 2003: Formal Specification and Development in Z and B (eBook, PDF)

Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Redaktion: Bert, Didier; Waldén, Marina; King, Steve; Bowen, Jonathan P.
Versandkostenfrei!
Sofort per Download lieferbar
Statt: 106,99 €**
73,95 €
inkl. MwSt.
**Preis der gedruckten Ausgabe (Broschiertes Buch)
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
37 °P sammeln!
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.

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.