Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004,...

Cover Type: Paperback with 249 pages
Published by: Springer
Edition: 1st Edition December 22, 2004
Written in: English
ISBN 10 Number: 3540236112
ISBN 13 Number: 978-3540236115
Book Dimensions: 9.1 x 6.1 x 0.7 inches
Weighs: 13.4 ounces <a href="http://www.amazon.com/gp/help/seller/shipping.html/104-2477619-4351167?ie=UTF8&asin=3540236112&amp;seller=ATVPDKIK">

Buy Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004,... here, one of many C++ 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 > C++ > Item 538

	Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004,...
	by C. Neville Dean and Raymond T. Boute Sales Rank: 4803725	$63.00 At Amazon on 9-26-2008.

*Features* Cover Type: Paperback with 249 pages Published by: Springer Edition: 1st Edition December 22, 2004 Written in: English ISBN 10 Number: 3540236112 ISBN 13 Number: 978-3540236115 Book Dimensions: 9.1 x 6.1 x 0.7 inches Weighs: 13.4 ounces *Product Description* This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004. The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. The papers presented explore the failures and successes of formal methods education, consider how the failures might be resolved, evaluate how to learn from the successes, and attempt promoting cooperative projects to further the teaching and learning and the usage and acceptance of formal methods. Back To Top
Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004,... ~~List Price: $63.00~~ Available from Amazon Price: $63.00 Updated on 9-26-2008.

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

We offer Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004,... and other related C++ Books here at Rbookshop.com. To view more books about C++ please use the previous and next buttons near the top of this page.