ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... / Programming and Software Engineering)
Format
Post in Mathematics
BY Helen Treharne, Martin Henson, Steve King, Steve S
3540255591 Shared By Guest
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... / Programming and Software Engineering) Helen Treharne, Martin Henson, Steve King, Steve S is available to download
| ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings .ZB 2005: Formal Specification ... Textbook .. / Programming and Software Engineering) Helen Treharne, Martin Henson, Steve King, Steve Schneider | |
| Type: | eBook |
| Released: | 2008 |
| Publisher: | Springer |
| Page Count: | 508 |
| Format: | |
| Language: | English |
| ISBN-10: | 3540255591 |
| ISBN-13: | 9783540255598 |
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... / Programming and Software Engineering)
You should be logged in to Download this Document. Membership is Required. Register here
Related Books on ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... / Programming and Software Engineering)
- B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)
- Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture ... / Programming and Software Engineering)
- Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings ... / Programming and Software Engineering)
Comments (0)