B'98: Recent Advances in the Development and Use of the B...

Cover Type: Paperback with 313 pages
Published by: Springer
Edition: 1st Edition May 22, 1998
Written in: English
ISBN 10 Number: 3540644059
ISBN 13 Number: 978-3540644057
Book Dimensions: 9.2 x 5.9 x 0.7 inches
Weighs: 15.2 ounces <a href="http://www.amazon.com/gp/help/seller/shipping.html/103-2838624-1931843?ie=UTF8&asin=3540644059&amp;seller=ATVPDKIK">

Buy B'98: Recent Advances in the Development and Use of the B... 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 364

	B'98: Recent Advances in the Development and Use of the B...
	by Bert Didier Sales Rank: 4210393	$69.95 At Amazon on 11-16-2008.

*Features* Cover Type: Paperback with 313 pages Published by: Springer Edition: 1st Edition May 22, 1998 Written in: English ISBN 10 Number: 3540644059 ISBN 13 Number: 978-3540644057 Book Dimensions: 9.2 x 5.9 x 0.7 inches Weighs: 15.2 ounces *Product Description* This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development. Back To Top
B'98: Recent Advances in the Development and Use of the B... ~~List Price: $69.95~~ Available from Amazon Price: $69.95 Updated on 11-16-2008.

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

We offer B'98: Recent Advances in the Development and Use of the B... 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.