Order Total (1 Item Items):
Shipping Destination:
Mili Ali (56 results)
Author:
mili ali
Refine with Advanced Search
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 (39)
- As New, Fine or Near Fine (9)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (3)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (22)
- Not Print on Demand (50)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Towards Structured Specifying. Theory, Practice, Applications
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 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.
-
An Introduction to Formal Program Verification
Language: English
Published by Van Nostrand Reinhold, 1985
ISBN 10: 0442263228 ISBN 13: 9780442263225
Hardcover. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
An Introduction to Program Verification
Language: English
Published by Wiley & Sons, Incorporated, John, 1985
ISBN 10: 0442263228 ISBN 13: 9780442263225
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
An Introduction to Program Fault Tolerance: A Structured Programming Approach
Language: English
Published by Prentice Hall, West Nyack, New York, U.S.A., 1990
ISBN 10: 013493511X ISBN 13: 9780134935119
Hardcover. Condition: Fine. No Jacket. First Edition, First Printing. This is a fine, hardcover first edition, first printing copy in slick gray binding, no DJ.
-
An Introduction to Formal Program Verification
Language: English
Published by Van Nostrand Reinhold, 1985
ISBN 10: 0442263228 ISBN 13: 9780442263225
Condition: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear.
-
An Introduction to Program Fault Tolerance. A Structured Programming Approach.
Published by NY: Prentice Hall 1990., 1990
Seller: Truman Price & Suzanne Price / oldchildrensbooks, Monmouth, OR, U.S.A.
Seller rating 4 out of 5 stars
. (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. . . .
-
-
Condition: As New. Unread book in perfect condition.
-
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.59
US$ 16.08 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 65.89
US$ 20.80 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.31
US$ 20.14 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Verification & Evaluation Of Computer &
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.06
US$ 20.14 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Verification and Evaluation of Computer and Communication Systems: 11th International Conference, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
US$ 90.18
US$ 13.42 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 224 pages. 9.25x6.10x0.51 inches. In Stock.
-
Condition: New.
-
.- New York. 1985. Van Nostrand Company. 8ş mayor. 291 p. Cartoné con sobrecubiertas. . Idiomas - Inglés, . . .
-
Condition: New.
-
Software Testing (Hardcover)
Language: English
Published by John Wiley & Sons Inc, New York, 2015
ISBN 10: 1118662873 ISBN 13: 9781118662878
Hardcover. Condition: new. Hardcover. 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 validationProposes 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 returnsDefines 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 removalPresents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goalCovers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis Software 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: new.
-
Verification and Evaluation of Computer and Communication Systems
Language: English
Published by Springer International Publishing, Springer International Publishing Aug 2017, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -ż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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.
-
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24ż25, 2017, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319661752 ISBN 13: 9783319661759
Taschenbuch. Condition: 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.
-
Condition: New. pp. 368.
-
Software Testing : Concepts and Operations
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 120.31
US$ 20.14 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Reuse-Based Software Engineering: Techniques, Organizations, and Controls
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
US$ 134.25
US$ 8.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: New. pp. 368.
-
Software Testing: Concepts and Operations (Quantitative Software Engineering Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 141.82
US$ 16.08 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Software Testing: Concepts and Operations
Language: English
Published by John Wiley & Sons Inc, 2015
ISBN 10: 1118662873 ISBN 13: 9781118662878
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 142.73
US$ 20.93 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
-
US$ 47.56 10% off
US$ 42.81
US$ 121.88 shipping
Ships from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Software Testing: Concepts and Operations
Language: English
Published by John Wiley & Sons Inc, 2015
ISBN 10: 1118662873 ISBN 13: 9781118662878
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
First Edition
US$ 165.13
US$ 12.19 shipping
Ships from Ireland to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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. . . . .
-
Software Testing
Language: English
Published by John Wiley and Sons Inc, US, 2015
ISBN 10: 1118662873 ISBN 13: 9781118662878
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 182.20
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: 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 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 validationProposes 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 returnsDefines 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 removalPresents the activity of software testing as a goal oriented activity, and explores how the conduct of the test depends on the selected goalCovers all phases of the software testing lifecycle, including test data generation, test oracle design, test driver design, and test outcome analysis Software 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.
