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 - 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers (Paperback, 2003 ed.) Loot Price: R1,703

Discovery Miles 17 030

Repayment Terms: R160 pm x 12*

Add to cart

Interactive Systems. Design, Specification, and Verification - 10th International Workshop, DSV-IS 2003, Funchal, Madeira...

Interactive Systems. Design, Specification, and Verification - 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers (Paperback, 2003 ed.)

Joaquim Jorge, Nuno Jardim Nunes, Joao Falcao e Cunha

Series: Lecture Notes in Computer Science, 2844

(sign in to rate)

Loot Price R1,703 Discovery Miles 17 030 | Repayment Terms: R160 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2844
Release date:	October 2003
First published:	2003
Editors:	Joaquim Jorge • Nuno Jardim Nunes • Joao Falcao e Cunha
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	432
Edition:	2003 ed.
ISBN-13:	978-3-540-20159-5
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Promotions
LSN:	3-540-20159-9
Barcode:	9783540201595