search for books and compare prices
David J. Duke has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783540667209 Cover for 9783211834053 Cover for 9783540761174
Premo: A Framework for Multimedia Middleware: Specification, Rationale, and Java Binding
cover image for 9783540667209
By David J. Duke (editor), G Goos (editor), J. Hartmanis (editor), I. Herman (editor) and J. Van Leeuwen (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540667209 | Springer Verlag, December 1, 1999, cover price $99.00

Design, Specification and Verification of Interactive Systems'99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
cover image for 9783211834053
Product Description: This book is the formal proceedings of the Eurographics Workshop on Design, Specifi­ cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni­ versity of Minho, Braga, Portugal from June 2 to June 4, 1999...read more (view table of contents, read Amazon.com's description)
By David J. Duke (editor) and A. Puerta (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783211834053 | Springer Verlag Wien, June 1, 1999, cover price $99.00 | About this edition: This book is the formal proceedings of the Eurographics Workshop on Design, Specifi­ cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni­ versity of Minho, Braga, Portugal from June 2 to June 4, 1999.

Bcs-Facs Northern Formal Methods Workshop: Proceedings of the Bcs-Facs Northern Formal Methods Workshop, Ilkley, Uk, 23-24 September 1996
cover image for 9783540761174
Product Description: The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems...read more (view table of contents, read Amazon.com's description)
By David J. Duke (editor) and A. S. Evans (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540761174 | Springer Verlag, July 1, 1997, cover price $64.95 | About this edition: The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems.

displaying 1 to 3 | at end