Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 7,08
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.0387152393 Ex-library paperback in very nice condition with the usual markings and attachments.
Verlag: Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Sprache: Englisch
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
EUR 17,76
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
EUR 3,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: 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.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
EUR 3,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Livre un peu vrillé. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Book slightly twisted. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 27,08
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 39,76
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 42,11
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 38,74
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 25,16
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 44,49
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 44,56
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989
ISBN 10: 3540518037 ISBN 13: 9783540518037
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 56,76
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Self-concept and coping behaviour are important aspects of development in adolescence. Despite their developmental significance, however, the two areas have rarely been considered in relation to each other. This book is the first in which the two areas are brought together; it suggests that this interaction can open the way to new possibilities for further research and to new implications for applied work with adolescents. Two separate chapters review research carried out in each of the areas. These are followed by a series of more empirically focussed chapters in which issues such as changes in relationship patterns, difficult school situations, leaving school, use of leisure, anxiety and suicidal behaviour are examined in the context of self-concept and coping. The final chapter seeks to identify some of the central themes emerging from this work and discusses possible research and applied implications. Self-concept and coping behaviour are important aspects of development in adolescence. Despite their developmental significance, however, the two areas have rarely been considered in relation to each other. This book is the first in which the two areas are brought together; it suggests that this interaction can open the way to new possibilities for further research and to new implications for applied work with adolescents. Two separate chapters review research carried out in each of the areas. These are followed by a series of more empirically focussed chapters in which issues such as changes in relationship patterns, difficult school situations, leaving school, use of leisure, anxiety and suicidal behaviour are examined in the context of self-concept and coping. The final chapter seeks to identify some of the central themes emerging from this work and discusses possible research and applied implications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 54,42
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 53,27
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 53,27
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 61,94
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 128.
Anbieter: California Books, Miami, FL, USA
EUR 65,70
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
EUR 65,75
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
Anbieter: Walden Books, London, Vereinigtes Königreich
EUR 47,36
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardback. Zustand: 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.
EUR 59,04
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,16
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer Berlin Heidelberg, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 24,60
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,59
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 492 pages. 9.00x6.00x1.00 inches. In Stock.
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 64,08
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: 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.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1985
ISBN 10: 3540152393 ISBN 13: 9783540152392
Sprache: Englisch
Anbieter: AussieBookSeller, Truganina, VIC, Australien
EUR 83,85
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 3540518037 ISBN 13: 9783540518037
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 112,47
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 143,41
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 3642166113 ISBN 13: 9783642166112
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 78,58
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
Verlag: Springer Berlin Heidelberg, 1989
ISBN 10: 3540518037 ISBN 13: 9783540518037
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
EUR 39,48
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.