Order Total (1 Item Items):
Shipping Destination:
Viganò Luca (112 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (112)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (95)
- As New, Fine or Near Fine (15)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (59)
- Not Print on Demand (74)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
-
Condition: new.
-
Socio-Technical Aspects in Security (Paperback)
Language: English
Published by Springer International Publishing AG, Cham, 2022
ISBN 10: 3031101820 ISBN 13: 9783031101823
First Edition
Paperback. Condition: new. Paperback. This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
Condition: New. pp. 244.
-
Tests and Proofs : 7th International Conference, Tap 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
Paperback. Condition: New.
-
Principles of Security and Trust : 5th International Conference, Post 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
-
-
Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Arspa-wits 2009, York, Uk, March 28-29, 2009, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 236.
-
Condition: new.
-
Paperback. Condition: Brand New. 217 pages. 9.25x6.10x0.55 inches. In Stock.
-
Foundations and Applications of Security Analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Arspa-wits 2009, York, Uk, March 28-29, 2009, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
-
Condition: new.
-
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Arspa-wits 2009, York, Uk, March 28-29, 200: Vol 5511
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642034586 ISBN 13: 9783642034589
Paperback. Condition: Brand New. 2009 edition. 223 pages. 9.30x6.10x0.50 inches. In Stock.
-
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
-
Socio-technical Aspects In Security And
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
-
Socio-technical Aspects in Security and Trust: 10th International Workshop, Stast 2020, Virtual Event, September 14, 2020, Revised Selected Papers
Language: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030793176 ISBN 13: 9783030793173
Paperback. Condition: Brand New. 219 pages. 9.25x6.10x0.46 inches. In Stock.
-
Labelled Deduction
Language: English
Published by Springer Netherlands, 2012
ISBN 10: 9401057818 ISBN 13: 9789401057813
Condition: New.
-
Principles of Security and Trust: 5th International Conference, Post 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3662496348 ISBN 13: 9783662496343
Paperback. Condition: Brand New. 288 pages. 9.25x6.10x0.68 inches. In Stock.
-
Condition: New.
-
Tests and Proofs
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2013, 2013
ISBN 10: 3642389155 ISBN 13: 9783642389153
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-Based Mutation Testing with Timed Automata.- Model-Based Testing for Verification Back-Ends.- A Metric for Testing Program Verification Systems.- Test Program Generation for a Microprocessor: A Case-Study.- A Declarative Debugger for Sequential Erlang Programs.- Initiating a Benchmark for UML and OCL Analysis Tools.- Speeding Up Algorithmic Debugging Using Balanced Execution Trees.- Generating Test Suites with Augmented Dynamic Symbolic Execution.- Divergent Quiescent Transition Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.
-
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2013
ISBN 10: 3642389155 ISBN 13: 9783642389153
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
