Spara
ZB 2003: Formal Specification and Development in Z and B
e-bok, 2003
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
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.
- Undertitel
- Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
- Redaktör
- Marina Walden, Steve King, Jonathan P. Bowen, Didier Bert
- ISBN
- 9783540448808
- Språk
- Engelska
- Utgivningsdatum
- 2003-08-03
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
