Publisher's Synopsis
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).
2006
Paperback (15 May 2006)
Save $4.62
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).
ISBN: | 9783540343042 |
Publisher: | Springer Berlin Heidelberg |
Imprint: | Springer |
Pub date: | 15 May 2006 |
Edition: | 2006 |
DEWEY: | 621.392 |
DEWEY edition: | 22 |
Language: | English |
Number of pages: | 242 |
Weight: | 800g |
Height: | 234mm |
Width: | 156mm |
Spine width: | 13mm |