Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2007
ISBN 10: 3540725628 ISBN 13: 9783540725626
Anbieter: Better World Books, Mishawaka, IN, USA
Erstausgabe
Zustand: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
EUR 22,10
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 200 Illus.
Taschenbuch. Zustand: Sehr gut. 256 Seiten; Zustand geprÃft, Versand werktags innerhalb von 24 Stunden. sehr gut erhalten, Stempel/MÃngelexemplar ZA 9704395 Sprache: Englisch Gewicht in Gramm: 3927.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 22,54
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. French language. 11.50x7.64x0.31 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 70,32
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 72,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,33
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 271 pages. 9.00x6.00x0.50 inches. In Stock.
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540725628 ISBN 13: 9783540725626
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 98,71
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1st edition. 183 pages. 9.50x6.00x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319466127 ISBN 13: 9783319466125
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 77,91
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 256 pages. 9.25x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319466127 ISBN 13: 9783319466125
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named:Technology-Specific Aspects of Models.The volume reflects the five sessions of the conference. The first two sessions are closely aligned with the conference theme with a session on the Internet of Things and a session on Technology-specific Aspects. The other three sessions cover aspects regarding modeling languages and model-driven development in general and were organized in the sessions Languages, Configurations and Features, and Patterns and Compilation.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Testing often accounts for more than 50% of the required e ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may alsobeexamined.Analyzingsystemmodelsprovidesthepossibilityofgenerating complete test suites in a systematic and possibly automated manner whereas examining test models allows for the detection of design errors in test suites and their optimization with respect to readability or compilation and execution time. Due to the numerous possibilities for their application, formal methods have become more and more popular in recent years. The Formal Approaches in Software Testing (FATES) workshop series also bene ts from the growing popularity of formal methods. After the workshops in Aalborg (Denmark, 2001), Brno (Czech Republic, 2002) and Montr eal (Canada, 2003), FATES 2004 in Linz (Austria) was the fourth workshop of this series. Similar to the workshop in 2003, FATES 2004 was organized in a liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2004). FATES 2004 received 41 submissions. Each submission was reviewed by at least three independent reviewers from the Program Committee with the help of some additional reviewers. Based on their evaluations, 14 full papers and one wo- in-progress paper from 11 di erent countries were selected for presentation.
Taschenbuch. Zustand: Neu. Formal Approaches to Software Testing | 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers | Jens Grabowski (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2005 | Springer | EAN 9783540251095 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. System Analysis and Modeling. Technology-Specific Aspects of Models | 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings | Jens Grabowski (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319466125 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Simulation Science | First International Workshop, SimScience 2017, Göttingen, Germany, April 27-28, 2017, Revised Selected Papers | Marcus Baum (u. a.) | Taschenbuch | x | Englisch | 2018 | Springer | EAN 9783319962702 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed proceedings of the Clausthal-Göttingen International Workshop on Simulation Science, held in Göttingen, Germany, in April 2017.The 16 full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on simulation and optimization in networks,simulation of materials,distributed simulations.