- 5 Results
Lowest price: € 37.44, highest price: € 57.63, average price: € 49.46
1
Software Verification and Analysis - Janusz Laski; William Stanley
Order
at lehmanns.de
€ 55.99
Shipment: € 0.001
Order
Provider details
Sponsored link
Janusz Laski; William Stanley:

Software Verification and Analysis - First edition

2009, ISBN: 9781848822405

An Integrated, Hands-On Approach, eBooks, eBook Download (PDF), Auflage, &quote;The situation is good, but not hopeless&quote; (Polish folk wisdom) The text is devoted to the Soft… More...

Shipping costs:Download sofort lieferbar. (EUR 0.00)
close (x)
2
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) - Laski, Janusz, Stanley, William
Order
at amazon.de
€ 37.44
Shipment: € 0.001
Order
Provider details
Sponsored link

Laski, Janusz, Stanley, William:

Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition) - new book

2009, ISBN: 9781848822405

Springer, Kindle Ausgabe, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, … More...

Shipping costs:Jetzt als Download verfügbar. (EUR 0.00) Amazon Media EU S.à r.l.
close (x)
3
Software Verification and Analysis: An Integrated, Hands-On Approach - Laski, Janusz, Stanley, William
Order
at amazon.co.uk
£ 36.58
(aprox. € 42.74)
Shipment: € 5.231
Order
Provider details
Sponsored link
Laski, Janusz, Stanley, William:
Software Verification and Analysis: An Integrated, Hands-On Approach - new book

2009

ISBN: 9781848822405

Springer, Kindle Edition, Auflage: 2009, 353 Seiten, Publiziert: 2009-04-29T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Verkaufsrang: 2121797, Functional Programming, Software De… More...

Shipping costs:Available for download now. (EUR 5.23) Amazon Media EU S.à r.l.
close (x)
4
Software Verification and Analysis : An Integrated, Hands-On Approach - Allan Casey
Order
at hive.co.uk
£ 49.30
(aprox. € 57.63)
Order
Details & Shipping
Sponsored link
Allan Casey:
Software Verification and Analysis : An Integrated, Hands-On Approach - new book

ISBN: 9781848822405

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-… More...

No. 9781848822405. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
close (x)
5
Software Verification and Analysis - Janusz Laski/ William Stanley
Order
at eBook.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Janusz Laski/ William Stanley:
Software Verification and Analysis - new book

ISBN: 9781848822405

Software Verification and Analysis - An Integrated Hands-On Approach: ab 53.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Shipping costs:in stock, , , DE. (EUR 0.00)
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition)
Author:
Title:
ISBN:

9781848822405

Details of the book - Software Verification and Analysis: An Integrated, Hands-On Approach (English Edition)


EAN (ISBN-13): 9781848822405
ISBN (ISBN-10): 1848822405
Publishing year: 2009
Publisher: Springer
18 Pages
Language: eng/Englisch

Book in our database since 2010-10-23T19:24:47+01:00 (London)
Detail page last modified on 2023-07-15T04:29:50+01:00 (London)
ISBN/EAN: 9781848822405

ISBN - alternate spelling:
1-84882-240-5, 978-1-84882-240-5
Alternate spelling and related search-keywords:
Book author: jan laski, william stanley, lask
Book title: software

Information from Publisher

Author: Janusz Laski
Title: Software Verification and Analysis - An Integrated, Hands-On Approach
Publisher: Springer; Springer London
234 Pages
Publishing year: 2009-04-29
London; GB
Printed / Made in
Language: English
84,99 € (DE)

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program dependencies; Program proving; Software verification; Static analysis; software; testing; verification; B; Software Engineering/Programming and Operating Systems; Software Engineering; Programming Techniques; Software Engineering; Programming Techniques; Computer Science; Computerprogrammierung und Softwareentwicklung; BB

The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural Program Testing.- Dynamic Program Analysis.
< to archive...