MPG.eBooks - Staff View: Interactive Systems: Design, Specification, and Verification

Read Now

Bibliographic Details
Main Author:	Johnson, Chris
Format:	eBook
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:	Lecture Notes in Computer Science
Subjects:	Computer Graphics Computer Science Logic Design Software Engineering Logics And Meanings Of Programs User Interfaces And Human Computer Interaction
Online Access:	http://dx.doi.org/10.1007/3-540-45522-1?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01186nmm a2200313 u 4500
001	EB000287548
003	EBX01000000000000000053232
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540455226
020			\|a 978-3-540-42807-7
100	1		\|a Johnson, Chris
245	0	0	\|a Interactive Systems: Design, Specification, and Verification \|h Elektronische Ressource \|b 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers \|c edited by Chris Johnson
260			\|a Berlin, Heidelberg \|b Springer-Verlag Berlin Heidelberg \|c 2001
300			\|b v. digital
989			\|b LNCS \|a Lecture Notes in Computer Science
490	0		\|a Lecture Notes in Computer Science
856	4	0	\|u http://dx.doi.org/10.1007/3-540-45522-1?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Computer graphics
650		4	\|a Computer science
650		4	\|a Logic design
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Computer Graphics
650		4	\|a Logics and Meanings of Programs
650		4	\|a Software Engineering
650		4	\|a User Interfaces and Human Computer Interaction