Publisher's Synopsis
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006.
Interactive Systems Design, Specification, and Verification ; 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006 ; Revised Papers - Lecture Notes in Computer Science
2007
Paperback (18 Jan 2007)
Save $0.54
-
RRP $57.07 - $56.53
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Check stock
Book information
| ISBN: | 9783540695530 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 18 Jan 2007 |
| Edition: | 2007 |
| DEWEY: | 004.33 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 268 |
| Weight: | 444g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 15mm |
We recommend
$17.12off
AI and Machine Learning for Cod...
Paperback
Published 16 Oct 2020
Save $17.12
RRP $67.22- $50.10
$8.48off
Mathematics for Computer Scient...
Paperback
Published 31 Aug 2023
Save $8.48
RRP $76.10- $67.62
$31.83off
The Logic of Typed Feature Stru...
Paperback
Published 10 Nov 2005
Save $31.83
RRP $54.54- $22.71
$1.21off
Introduction to Computation : H...
Paperback
Published 20 Jan 2022
Save $1.21
RRP $38.05- $36.84
$2.11off
Introduction to Probability for...
Hardback
Published 28 Sep 2023
Save $2.11
RRP $69.76- $67.65