
Software Verification and Analysis (English, Janusz Laski | William Stanley)
by Janusz Laski | William Stanley
Delivery options
₹5,558
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,558
Book Details
Publisher
Springer
Language
English
ISBN-13
9781848822399
ISBN-10
1848822391
Author
Janusz Laski | William Stanley
About the Book
"The situation is good, but not hopeless" (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author's firm belief that in the current state of the art that goal is unattainable, a plethora of "gu- anteed" solutions to the problem notwithstanding…
ISBN: 9781848822399
ISBN-13: 9781848822399
ISBN-10: 1848822391
Frequently Asked Questions
What is the price of Software Verification and Analysis?
Software Verification and Analysis starts from ₹5558 at GlowMirror. Available in Paperback.
Who is the author of Software Verification and Analysis?
Janusz Laski | William Stanley is the author of Software Verification and Analysis. Browse more books by Janusz Laski | William Stanley on GlowMirror.
Is Software Verification and Analysis available in Paperback and Hardcover?
Yes, Software Verification and Analysis is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Software Verification and Analysis?
Yes, GlowMirror offers free delivery for Software Verification and Analysis across India. No minimum order value required.
Is Cash on Delivery available for Software Verification and Analysis?
Yes, Cash on Delivery (COD) is available for Software Verification and Analysis on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9781848822399
🛒 Customers Also Bought

Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,398
Die Pflege Des Brandverletzten (English, Alfons Grabosch | H. C. Schrader | Michael Günnewig)
₹5,694
Kindliche Kompetenzen (English, Arnold Lohaus)
₹1,208
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Die Proximalen Humerusfrakturen (English, Fabrizio Moro | Rainer-Peter Meyer | Andreas Lütscher)
₹4,965
User-Centered Agile Methods (English, Hugh Beyer)
₹2,143Related Products

Die Maske Der Scham (English, Leon Wurmser | A. Haynal)
₹5,330
Annegamento Soccorso Tecnico E Sanitario (English, Elvia Battaglia | Alessio Baghin)
₹5,579
Elektrische Netzwerke Aufgaben (English, Rolf Unbehauen | Willi Hohneker)
₹3,249
Festschrift David Hilbert Zu Seinem Sechzigsten Geburtstag Am 23. Januar 1922 (English, O. Blumenthal | R. Courant | G. Hamel)
₹3,143
Fundamente Der Graphentheorie (English, Lutz Volkmann)
₹3,143