ZB 2003: Formal Specification and Development in Z and B

By:	Didier Bert; ‎Jonathan P. Bowen; ‎Steve King
Publisher:	Springer Nature
Print ISBN:	9783540402534
eText ISBN:	9783540448808
Edition:	1
Format:	Page Fidelity

Select an option

eBook Features

Instant Access

Purchase and read your book immediately

Access your eTextbook anytime and anywhere

Built-in study tools like highlights and more

Listen and follow along as Bookshelf reads to you

Details

Table of Contents