ali mili (21 Ergebnisse)

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 1 (weekend SALE item)* 143 pp., hardcover, ex library, else text and binding still clean tight and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

. (illustrator). Very Good: remainder mark bottom edge, else very clean, unmarked, bottom rear corner bumped else very straight, apparently unread. Hardcover, grey cloth, 352 pp. . . .

Zustand: New. In.

Paperback. Zustand: Brand New. 224 pages. 9.25x6.10x0.51 inches. In Stock.

Zustand: New.

.- New York. 1985. Van Nostrand Company. 8º mayor. 291 p. Cartoné con sobrecubiertas. . Idiomas - Inglés, . . .

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

Taschenbuch. Zustand: Neu. Verification and Evaluation of Computer and Communication Systems | 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings | Kamel Barkaoui (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2017 | Springer | EAN 9783319661759 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. In.

Zustand: New. pp. 368.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | ¿This book constitutes the proceedings of the 11th International Conference International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of veri¿cation, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal veri¿cation and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Zustand: New. Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test management. This book introduces software testing in the broader context of software engineering and more. Series: Quantitative Software Engineering Series. Num Pages: 368 pages, illustrations. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 243 x 163 x 26. Weight in Grams: 676. . 2015. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.

Zustand: New. In.

Hardcover. Zustand: Brand New. 1st edition. 400 pages. 8.00x5.00x1.00 inches. In Stock.

Zustand: New. pp. xxxi + 636 Illus.

Buch. Zustand: Neu. Neuware - Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment analysis, and software test managementThis book examines the principles, concepts, and processes that are fundamental to the software testing function. This book is divided into five broad parts. Part I introduces software testing in the broader context of software engineering and explores the qualities that testing aims to achieve or ascertain, as well as the lifecycle of software testing. Part II covers mathematical foundations of software testing, which include software specification, program correctness and verification, concepts of software dependability, and a software testing taxonomy. Part III discusses test data generation, specifically, functional criteria and structural criteria. Test oracle design, test driver design, and test outcome analysis is covered in Part IV. Finally, Part V surveys managerial aspects of software testing, including software metrics, software testing tools, and software product line testing.\* Presents software testing, not as an isolated technique, but as part of an integrated discipline of software verification and validation\* Proposes program testing and program correctness verification within the same mathematical model, making it possible to deploy the two techniques in concert, by virtue of the law of diminishing returns\* Defines the concept of a software fault, and the related concept of relative correctness, and shows how relative correctness can be used to characterize monotonic fault removal\* Presents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goal\* Covers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysisSoftware Testing: Concepts and Operations is a great resource for software quality and software engineering students because it presents them with fundamentals that help them to prepare for their ever evolving discipline.

Hardcover. Zustand: Brand New. 636 pages. 9.25x6.25x1.25 inches. In Stock.

Gebundene Ausgabe. Zustand: Wie neu. 368 Seiten; 2015. Buchdeckel wie Innenteil tadellos - u n g e l e s e n - keine Risse, Knicke, Anmerkungen. ! Altersbedingt minimal nachgedunkelt! KEIN Mängelexemplar! Versand aus München V286 Sprache: Deutsch Gewicht in Gramm: 726.