Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

FME 2002: Formal Methods - Getting IT Right - International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Paperback, 2002 ed.) Loot Price: R3,170

Discovery Miles 31 700

Repayment Terms: R297 pm x 12*

Add to cart

FME 2002: Formal Methods - Getting IT Right - International Symposium of Formal Methods Europe, Copenhagen, Denmark, July...

FME 2002: Formal Methods - Getting IT Right - International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Paperback, 2002 ed.)

Lars-Henrik Eriksson, Peter A. Lindsay

Series: Lecture Notes in Computer Science, 2391

(sign in to rate)

Loot Price R3,170 Discovery Miles 31 700 | Repayment Terms: R297 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002.The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2391
Release date:	July 2002
First published:	2002
Editors:	Lars-Henrik Eriksson • Peter A. Lindsay
Dimensions:	235 x 155 x 32mm (L x W x T)
Format:	Paperback
Pages:	632
Edition:	2002 ed.
ISBN-13:	978-3-540-43928-8
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-43928-5
Barcode:	9783540439288