Order Total (1 Item Items):
Shipping Destination:
Verification Analysis Computer Systems (29 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (29)
- 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 (24)
- As New, Fine or Near Fine (3)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (19)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Condition: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2025.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.92
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail ... (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 61.04
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
-
Paperback. Condition: Brand New. 345 pages. 6.14x0.73x9.21 inches. In Stock.
-
Condition: New.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... Birthday (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 117.36
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Paperback. Condition: Like New. Like New. book.
-
Verification and Analysis of Computer Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 117.73
£ 15 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 Analysis of Computer Systems
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 122.59
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
-
Hardcover. Condition: Brand New. 258 pages. 10.00x7.00x10.00 inches. In Stock.
-
Verification and Analysis of Computer Systems
Language: English
Published by NY Research Press Sep 2023, 2023
ISBN 10: 1647253756 ISBN 13: 9781647253752
Buch. Condition: Neu. Neuware - Computer system verification is an activity that involves assessing the consistency, completeness, and correctness of the software and its supporting documentation while it is being developed. It confirms and reviews the tasks within the computer system validation process. Computer system validation (CSV), or software validation, is the process for verifying that a computer system is able to perform its intended use, and can function as expected. The classic 'V Diagram' is the most common methodology used for validation projects. This methodology involves various stages, namely, validation planning, user requirements specification (URS), functional specifications, design specifications, system build, installation qualification tests (IQ) Tests, operational qualification (OQ) Tests, performance qualification (PQ) Tests, and reporting. This book aims to shed light on the verification and analysis of computer systems. It consists of contributions made by international experts. This book, with its detailed analyses and data, will prove immensely beneficial to professionals and students involved in this area of computer science at various levels.
-
-
-
Condition: New. Print on Demand pp. 248.
-
-
Condition: New. PRINT ON DEMAND pp. 248.
-
-
Condition: new. Questo è un articolo print on demand.
-
Verification and Analysis of Computer Systems
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 137.25
£ 17.42 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
-
