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: