Didier Bert (EDT), Jonathan P. Bowen (EDT), Martin C. Henson (EDT), Ken Robinson (EDT) ZB 2002: Formal Specification and Development in Z and B

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2003

EAN/ISBN13: 978-3-540-45648-3

ISBN10: 3-540-45648-1

You can ask us about this book and we'll send an answer to your e-mail.