Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Interactive Systems: Design, Specification, and Verification : 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2003 : Revised Papers
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
Revised edition from Springer Verlag (November 1, 2003)
9783540201595 | details & prices | 429 pages | 6.00 × 9.00 × 1.00 in. | 1.50 lbs | List price $71.00
About: This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.
About: This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.