Importo totale (1 articolo articoli):
Destinazione ordine:
BARRINGER, HOWARD (60 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (60)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (47)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (7)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (29)
- Non Print on Demand (41)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.
-
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science 191
Editore: Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
Da: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Membro dell'associazione: ABAA CBA ILAB
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 3,00
EUR 20,50 shipping
Ships from Francia to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
-
A Survey of Verification Techniques for Parallel Programs
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 27,11
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
A Survey of Verification Techniques for Parallel Programs
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 38,62
EUR 3,43 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
A Survey of Verification Techniques for Parallel Programs
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 25,06
EUR 17,73 shipping
Ships from Regno Unito to U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,09
EUR 3,43 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Imperative Future Principles of Executable Temporal Logic
Da: Walden Books, London, Regno Unito
Membro dell'associazione: IOBA PBFA
Valutazione del venditore 4 su 5 stelle
EUR 47,16
EUR 17,17 shipping
Ships from Regno Unito to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: Very Good. Laminate paper boards rubbed w/ minute splitting on corners, prior price label on rear, superficial score-marks on front board; Pages clean, no ownership marks or annotation; Binding tight. ; Advanced Software Development Series; Vol. 4; 6.25 x 9.25"; 240 pages.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 65,48
Spedizione gratuita
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Runtime Verification (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Lingua: Inglese
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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.
-
A Survey of Verification Techniques for Parallel Programs
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 128.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,13
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
A Survey of Verification Techniques for Parallel Programs
Editore: Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Lingua: Inglese
EUR 24,60
EUR 61,04 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Advances in Temporal Logic (Applied Logic Series, 16)
Da: Solr Books, Lincolnwood, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
EUR 24,90
EUR 70,00 shipping
Ships from Germania to U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. A Survey of Verification Techniques for Parallel Programs | Howard Barringer | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1985 | Springer | EAN 9783540152392 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Runtime Verification: First International Conference, Rv 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Editore: Springer-Verlag New York Inc, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,18
EUR 17,17 shipping
Ships from Regno Unito to U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 492 pages. 9.00x6.00x1.00 inches. In Stock.
-
Runtime Verification
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Lingua: Inglese
EUR 64,08
EUR 48,99 shipping
Ships from Germania to U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Springer Berlin Heidelberg, 1989
ISBN 10: 3540518037 ISBN 13: 9783540518037
Lingua: Inglese
EUR 53,49
EUR 63,46 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,35
EUR 70,00 shipping
Ships from Germania to U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Temporal Logic in Specification | Altrincham, UK, April 8-10, 1987, Proceedings | Behnam Banieqbal (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540518037 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science (398))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 112,01
EUR 28,62 shipping
Ships from Regno Unito to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
Affare
EUR 35,53
EUR 105,00 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Lingua: Inglese
EUR 79,32
EUR 63,81 shipping
Ships from Germania to U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Affare
EUR 45,68
EUR 105,00 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 492 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Advances in Temporal Logic (Applied Logic Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 158,36
EUR 3,43 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 159,80
EUR 2,27 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic (Applied Logic Series, 16)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 158,61
EUR 3,43 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Temporal Logic (Applied Logic Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 158,35
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Temporal Logic (Applied Logic Series, 16)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 158,35
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
