Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

Interactive Systems. Design Specification, and Verification - 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers (Paperback, 2006 ed.) Loot Price: R1,607

Discovery Miles 16 070

Repayment Terms: R151 pm x 12*

Add to cart

Interactive Systems. Design Specification, and Verification - 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK,...

Interactive Systems. Design Specification, and Verification - 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers (Paperback, 2006 ed.)

Stephen W. Gilroy, Michael D. Harrison

Series: Programming and Software Engineering, 3941

(sign in to rate)

Loot Price R1,607 Discovery Miles 16 070 | Repayment Terms: R151 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 3941
Release date:	May 2006
First published:	2006
Editors:	Stephen W. Gilroy • Michael D. Harrison
Dimensions:	229 x 152 x 15mm (L x W x T)
Format:	Paperback
Pages:	276
Edition:	2006 ed.
ISBN-13:	978-3-540-34145-1
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Promotions
LSN:	3-540-34145-5
Barcode:	9783540341451