Buy Used and New Software Design Books

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783540695530

Format: Paperback (269 pages)
Publisher: Springer
Published: 18 Jan 2007

Save for later

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... / Programming and Software Engineering)

by

ISBN 13: 9783540343042

Format: Paperback (250 pages)
Publisher: Springer
Published: 15 May 2006

Save for later