Proof Technology and Computation, Volume 200 NATO Science Series
Subtitle: Computer and Systems Sciences (Nato Science)
Contributors: K. Spies (Editor); H. Schwichtenberg (Editor)
Publisher: IOS Press
Published: July 1, 2006
Language: eng
Format: Hardcover
Number of pages: 456
ISBN-13: 9781586036256
Subjects: Software engineering; Computers; Computers - General Information; Computer Books: Languages; General; Science / Technology; Programming - Software Development