Delivery included to the United States

Formal Methods for Hardware Verification

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : Advanced Lectures - Lecture Notes in Computer Science

2006

Paperback (15 May 2006)

Save $4.62

  • RRP $61.51
  • $56.89
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

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).

Book information

ISBN: 9783540343042
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2006
DEWEY: 621.392
DEWEY edition: 22
Language: English
Number of pages: 242
Weight: 800g
Height: 234mm
Width: 156mm
Spine width: 13mm