Interactive Systems. Design, Specification, and Verification : 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape - Gavin Doherty
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Interactive Systems. Design, Specification, and Verification

13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape

By: Gavin Doherty (Editor), Ann Blandford (Editor)

Paperback | 18 January 2007 | Edition Number 13

At a Glance

Paperback


$111.38

or 4 interest-free payments of $27.84 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.

More in Operating Systems

Windows 11 For Seniors For Dummies, 2nd Edition - Curt Simmons
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Linux Pocket Guide : 4th Edition - Essential Commands - Daniel J. Barrett
UNIX and Linux System Administration Handbook : 5th Edition - Ben Whaley
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.50

$25.90

45%
OFF
Theory of Fun for Game Design - Raph Koster

RRP $85.50

$43.75

49%
OFF
iPad & iPad Pro for Dummies : 2024-2025 Edition - Paul McFedries

RRP $49.95

$38.75

22%
OFF
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
Practical C Programming 3e : Why Does 2+2 = 5986? - Steve Oualline

RRP $85.50

$43.75

49%
OFF
Understanding the Linux Kernel : O'Reilly Ser. - Daniel P. Bovet

RRP $133.00

$64.50

52%
OFF