This book constitutes the refereed proceedings of the 8th
International Conference on Formal Engineering Methods, ICFEM 2006,
held in Macao, China, in November 2006. The 38 revised full papers
presented together with three keynote talks were carefully reviewed
and selected from 108 submissions. The papers address all current
issues in formal methods and their applications in software
engineering.
General
| Imprint: |
Springer-Verlag
|
| Country of origin: |
Germany |
| Series: |
Programming and Software Engineering, 4260 |
| Release date: |
October 2006 |
| First published: |
2006 |
| Editors: |
Zhiming Liu
• Jifeng He
|
| Dimensions: |
235 x 155 x 40mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
792 |
| Edition: |
2006 ed. |
| ISBN-13: |
978-3-540-47460-9 |
| Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
| LSN: |
3-540-47460-9 |
| Barcode: |
9783540474609 |
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
