Order Total (1 Item Items):
Shipping Destination:
Howard Barringer (56 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (56)
- 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 (44)
- As New, Fine or Near Fine (6)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (28)
- Not Print on Demand (36)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 191
Language: English
Published by Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Association Member: ABAA CBA ILAB
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Berlin, Heidelberg, New York, Tokyo: Springer-Verlag, 1985. 114 pp. 24 x 16.5 cm. Minor bumping along tail-edge of covers; bump to top fore-edge corner. Toning to edges of text block and interior of book. Interior is clean and unmarked. Binding is firm. Soft Cover. Very Good.
-
Paperback. Condition: Very Good. 0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Condition: New.
-
A Survey of Verification Techniques for Parallel Programs
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 32.39
US$ 16.39 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 29.94
US$ 21.19 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
-
-
-
Runtime Verification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Paperback. Condition: new. Paperback. This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri?cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(softwareandhardware)executions,aswell asa forumfor presenting applications of such tools to practical problems. The ?eld of runtime veri?cation is often referred to under di?erent names, including dynamic analysis, runtime analysis, and runtime monitoring, to mention a few. Runtime veri?cation can be applied during the development of a system for the purpose of program - derstanding, debugging, and testing, or it can be applied as part of a running system, for example for security or safety policy monitoring, and can furth- more be part of a fault protection framework. A number of sub-?elds of runtime veri?cation have emerged over time, such as speci?cation languages and logics for execution analysis, dynamic analysis algorithms, program instrumentation, security monitoring, fault protection, speci?cation mining, and dynamic system visualization. Runtime veri?cationhas strong connections to other ?elds of c- puter science research, such as combinations of static and dynamic analysis, aspect-oriented programming, and model-based testing. Runtime Veri?cation events started with a workshop in 2001 and continued as an annual workshop series through 2009. Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.45
US$ 16.39 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
A Survey of Verification Techniques for Parallel Programs
Language: English
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.
-
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
Runtime Verification: First International Conference, Rv 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
US$ 95.21
US$ 27.35 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 492 pages. 9.00x6.00x1.00 inches. In Stock.
-
Runtime Verification
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Condition: New. Unique visibilityFast-track conference proceedingsState-of-the-art researchInvited Papers.- Automatic Requirement Extraction from Test Cases.- Code Contracts for .NET: Runtime Verification and So Much More.- Visual Debugging for Str.
-
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540518037 ISBN 13: 9783540518037
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expressive logic for a process algebra with silent actions.- Temporal logic with fixed points.- On the relation of programs and computations to models of temporal logic.- Specification and verification of concurrent programs by -automata.- MCTL ¿ An extension of CTL for modular verification of concurrent systems.- The model checking problem for concurrent systems with many similar processes.- Unified verification theory.- Specifying message passing systems requires extending temporal logic.- Extending interval logic to real time systems.- The prescription and description of state based systems.- Enforcing nondeterminism via linear time temporal logic specifications using hiding.- Specifying communicating systems with temporal logic.- Abstract object types: A temporal perspective.- Compositionality and modularity in process specification and design: A trace-state based approach.- Using temporal logic for prototyping: The design of a lift controller.- The declarative past and imperative future.
-
US$ 118.33
US$ 34.19 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 460 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Language: English
Published by Springer, Berlin, Springer, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Taschenbuch. Condition: Neu. Neuware - This volume contains the proceedings of the 2010 Runtime Veri cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1 4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime Veri cation conference was a forum for researchers and industrial practitioners to present theories and tools for monitoring and anal- ing system(softwareandhardware)executions,aswell asa forumfor presenting applications of such tools to practical problems. The eld of runtime veri cation is often referred to under di erent names, including dynamic analysis, runtime analysis, and runtime monitoring, to mention a few. Runtime veri cation can be applied during the development of a system for the purpose of program - derstanding, debugging, and testing, or it can be applied as part of a running system, for example for security or safety policy monitoring, and can furth- more be part of a fault protection framework. A number of sub- elds of runtime veri cation have emerged over time, such as speci cation languages and logics for execution analysis, dynamic analysis algorithms, program instrumentation, security monitoring, fault protection, speci cation mining, and dynamic system visualization. Runtime veri cationhas strong connections to other elds of c- puter science research, such as combinations of static and dynamic analysis, aspect-oriented programming, and model-based testing. Runtime Veri cation events started with a workshop in 2001 and continued as an annual workshop series through 2009.
-
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Language: English
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 492 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: New.
-
Condition: New.
-
Condition: New.
-
Advances in Temporal Logic (Applied Logic Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 189.20
US$ 16.39 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Advances in Temporal Logic (Applied Logic Series, 16)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 189.65
US$ 16.39 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Advances in Temporal Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 191.03
US$ 20.52 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Advances in Temporal Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 214.46
US$ 20.52 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New. pp. 468.
