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

Cover Type: Paperback with 493 pages
Published by: Springer
Edition: 1st Edition January 11, 2008
Written in: English
ISBN 10 Number: 3540255591
ISBN 13 Number: 978-3540255598
Book Dimensions: 9.1 x 6.1 x 1.1 inches
Weighs: 1.6 pounds <a href="http://www.amazon.com/gp/help/seller/shipping.html/105-2221057-6661216?ie=UTF8&asin=3540255591&amp;seller=ATVPDKIK">

Buy ZB 2005: Formal Specification and Development in Z and B: 4th... here, one of many AIX books offered for sale at discount prices here at Rbookshop.com. We greatly appreciate your patronage at Rbookshop and look forward to offering you great products and prices now and in the future.

You Are Here: Home > Computer Books > AIX > Item 241

	ZB 2005: Formal Specification and Development in Z and B: 4th...
	by Helen Treharne, Steve King, Martin Henson, and Steve Schneider Sales Rank: 2576498	$99.95 At Amazon on 10-7-2008.

*Features* Cover Type: Paperback with 493 pages Published by: Springer Edition: 1st Edition January 11, 2008 Written in: English ISBN 10 Number: 3540255591 ISBN 13 Number: 978-3540255598 Book Dimensions: 9.1 x 6.1 x 1.1 inches Weighs: 1.6 pounds *Product Description* 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. Back To Top
ZB 2005: Formal Specification and Development in Z and B: 4th... ~~List Price: $99.95~~ Available from Amazon Price: $99.95 Updated on 10-7-2008.

NOTICE: All prices, availability, and specifications
are subject to verification by their respective retailers.

We offer ZB 2005: Formal Specification and Development in Z and B: 4th... and other related AIX Books here at Rbookshop.com. To view more books about AIX please use the previous and next buttons near the top of this page.