ZB 2005: Formal Specification and Development in Z and B:...

Main
Computers - Computer Science
ZB 2005: Formal Specification and...

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

Name: 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
ISBN: 9783540255598

Cliff B. Jones (auth.), Helen Treharne, Steve King, Martin Henson, Steve Schneider (eds.)

0 / 0

0 comments

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.

The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Категории:

Computers - Computer Science

Год:

2005

Издание:

Издательство:

Springer-Verlag Berlin Heidelberg

Язык:

english

Страницы:

496

ISBN 10: