Guttman Joshua D Editor (4 results)

Author:

Refine with Advanced Search

Formal Aspects in Security and Trust: 6th International Workshop, Fast 2009, Eindhoven, the Netherlands, Novenber 5-6, 2009, Revised Selected Papers
Degano, Pierpaolo (Editor)/ Guttman, Joshua D. (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2010
3642124585 / 9783642124587
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 66.74
£ 10.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 279 pages. 9.00x6.00x0.50 inches. In Stock.
Discover more from Pierpaolo Degano
Explore their published works and collectible offers.Explore Pierpaolo Degano
Formal Aspects in Security and Trust
Degano, Pierpaolo (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2009
364201464X / 9783642014642
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 67.50
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 2009 edition. 331 pages. 9.50x6.25x0.75 inches. In Stock.
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Est
Degano, Pierpaolo (Editor)/ Guttman, Joshua D. (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2012
3642286402 / 9783642286407
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 68.69
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 2012 edition. 445 pages. 9.10x6.00x1.00 inches. In Stock.
VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Guttman, Joshua D. (Editor) / Wand, Mitchell (Editor)
Language: English
Published by Springer, 2012
1461359910 / 9781461359913
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 195.76
£ 10.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. spiral-bound edition. 184 pages. 9.45x6.30x0.44 inches. In Stock.

Guttman Joshua D Editor (4 results)

Formal Aspects in Security and Trust: 6th International Workshop, Fast 2009, Eindhoven, the Netherlands, Novenber 5-6, 2009, Revised Selected Papers

Formal Aspects in Security and Trust

Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Est

VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995