Results for Ana Cavalli

ISBN.nu

search for books and compare prices

Ana Cavalli has written 4 work(s)

Search for other authors with the same name

displaying 1 to 4 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Protocol Test Systems VIII: Proceedings of the Ifip Wg6.1 Tc6 Eighth International Workshop on Protocol Test Systems, September 1995

Product Description: IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS'95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6...read more

By Stan Budkowski (editor) and Ana Cavalli (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9780412781100 | Chapman & Hall, March 1, 1996, cover price $282.00

Paperback:

9781475763126 | Springer Verlag, February 27, 2013, cover price $282.00 | About this edition: IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !

Data Privacy Management and Autonomous Spontaneous Security: 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010 Athens, Greece, September 23, 2010 Revised Selected Papers

Product Description: This book constitutes the thoroughly refereed joint post proceedings of two international workshops, the 5th International Workshop on Data Privacy Management, D.P.M. 2010, and the 3rd International Workshop on Autonomous and Spontaneous Security, S...read more

By Ana Cavalli (editor), Joaquin Garcia-alfaro (editor), Jean Leneutre (editor) and Guillermo Navarro-Arribas (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642193477 | Springer-Verlag New York Inc, April 25, 2011, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed joint post proceedings of two international workshops, the 5th International Workshop on Data Privacy Management, D.

Formal Description Techniques and Protocol Specification: Forte Xi/Pstv XVIII '98 : Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication

Product Description: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs...read more

By Stan Budkowski (editor), Ana Cavalli (editor) and Elie Najm (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780412847608 | Kluwer Academic Pub, October 1, 1998, cover price $284.00 | About this edition: Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols.

Sdl '97' Time for Testing: Sdl, Msc and Trends : Proceedings of the Eighth Sdl Forum Evry, France, 23-26 September, 1997

Product Description: As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed...read more (view table of contents, read Amazon.com's description)

By Ana Cavalli (editor), Amardeo Sarma (editor) and SDL Forum (other contributor)

See complete details on each edition (1 edition listed)

Hardcover:

9780444828163 | Elsevier Science Ltd, September 1, 1997, cover price $370.00 | About this edition: As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself.

displaying 1 to 4 | at end