search for books and compare prices
Ronald Waxman has written 5 work(s)
Search for other authors with the same name
displaying 1 to 5 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780792396604 Cover for 9781461285618 Cover for 9783642101762 Cover for 9781441935182 Cover for 9781441941886 Cover for 9780444892089
cover image for 9781461285618
Product Description: In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification...read more
By Jean-Michel Berge (editor), Oz Levia (editor), Jacques Rouillard (editor) and Ronald Waxman (editor)

Hardcover:

9780792396604 | Kluwer Academic Pub, May 1, 1996, cover price $209.00 | About this edition: In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification.

Paperback:

9781461285618 | Reprint edition (Springer Verlag, July 31, 2012), cover price $209.00 | About this edition: In system design, generation of high-level abstract models that can be closely associated with evolving lower-level models provides designers with the ability to incrementally `test' an evolving design against a model of a specification.

cover image for 9783642101762
Product Description: It was an honor and a privilege to chair the 24th IFIP International Information Se- rity Conference (SEC 2009), a 24-year-old event that has become a tradition for - formation security professionals around the world. SEC 2009 was organized by the Technical Committee 11 (TC-11) of IFIP, and took place in Pafos, Cyprus, during May 18–20, 2009...read more

Paperback:

9783642101762 | Springer Verlag, May 14, 2009, cover price $229.00 | About this edition: It was an honor and a privilege to chair the 24th IFIP International Information Se- rity Conference (SEC 2009), a 24-year-old event that has become a tradition for - formation security professionals around the world.

cover image for 9781441935182
Product Description: This book constitutes the refereed proceedings of the IFIP TC 12 Artificial Intelligence Stream held in Milano, Italy, September 7-10, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication...read more

Paperback:

9781441935182 | Springer Verlag, July 23, 2008, cover price $199.00 | About this edition: This book constitutes the refereed proceedings of the IFIP TC 12 Artificial Intelligence Stream held in Milano, Italy, September 7-10, 2008.

cover image for 9781441941886
Product Description: The papers in this volume comprise the refereed proceedings of the conference 'Artificial Intelligence in Theory and Practice' (IFIP AI 2006), which formed part of the 19th World Computer Congress of IFIP, the International Federation for Information Processing (WCC- 2006), in Santiago, Chile in August 2006...read more

Paperback:

9781441941886 | Springer Verlag, October 30, 2006, cover price $209.00 | About this edition: The papers in this volume comprise the refereed proceedings of the conference 'Artificial Intelligence in Theory and Practice' (IFIP AI 2006), which formed part of the 19th World Computer Congress of IFIP, the International Federation for Information Processing (WCC- 2006), in Santiago, Chile in August 2006.

displaying 1 to 5 | at end