Häftad, Engelska, 2003
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
Av Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Del i serien Lecture Notes in Computer Science
1114 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2003-05-20
- Mått: 155 x 235 x 31 mm
- Vikt: 850 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 554
- Upplaga: 2003
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540402534
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.