0
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,085
Discovery Miles 30 850
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,085 Discovery Miles 30 850 | Repayment Terms: R289 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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
LSN: 3-540-43928-5
Barcode: 9783540439288

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners