Code: 01434729
Software Verification and Analysis
by Janusz Laski, William Stanley
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are ... more
- Language:
English - Binding: Paperback
- Number of pages: 234
Publisher: Springer, Berlin, 2010
- More about this
50.57 €
RRP: 55.96 €
You save 5.39 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Twisted Pawn (Deluxe Edition)
14.86 € -27 % -
Dory Fantasmagory
9.30 € -19 % -
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24
11.93 € -29 % -
My Gold Mine
14.25 € -6 % -
Survival in Auschwitz
11.93 € -21 % -
A cena con l'assassino
4.24 € -22 % -
Edexcel International GCSE (9-1) Mathematics Practice Book Third Edition
21.23 € -
Basher Five-Two
6.56 € -24 % -
Berlin
28.01 € -13 % -
300 modèles à dessiner en pas à pas - Perspective
20.63 € -
Calligraphie 100 alphabets
27.61 € -
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management
50.57 € -
All the Light and Dark Things
17.49 € -6 % -
Musical Witness and Holocaust Representation
45.92 € -
Tu entrenador personal
18.91 € -
Matryoshkas in Therapy
8.89 € -6 % -
Les inconnus de Versailles les coulisses de la Cour
12.63 € -
R. CRUMB: From the Underground to GENESIS
70.40 € -
GUIA DE RAPACES NOCTURNAS DE EUROPA
33.17 € -
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore
14.96 € -6 % -
Literary Shrines
20.22 € -1 % -
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese
24.87 € -
Red Planet
16.18 € -14 % -
The Tie That Binds: Building a Strong Marriage
13.24 € -6 % -
First Years in Europe
32.77 € -2 % -
User'S Guide to Coenzyme Q10
5.15 € -24 % -
Voices of Color
33.98 € -
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS
21.13 € -
Divine Order & Alien Passage
11.02 € -2 % -
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2
50.26 € -
Quellen zur Geschichte der Stadt Wien
35.70 € -11 % -
Carter County, Tennessee, Marriages 1850-1876
13.95 € -1 % -
La déontologie gouvernementale
35.70 € -
Faits d’hiver à Riec-sur-Bélon
13.14 € -
31 Months in Japan
14.05 € -25 % -
Seis grandes escritores rusos
18 € -
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica
55.12 € -
La curación del paralítico
4.24 € -
CONTRA LA CARIDAD
34.59 € -9 % -
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi)
16.28 € -
This Is Your Brain on Joy
15.37 € -18 % -
Exploring the relevance of usability criteria to the booking process in e-tourism
42.78 € -14 % -
Texting Toward Utopia
60.99 € -
Viel Glück
7.07 € -
Jesuit Slaveholding in Maryland, 1717-1838
69.89 € -
A History Of The Mediaeval Christian Church
19.31 € -2 % -
Applied Philosophy
54.01 € -
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages
17.49 € -6 % -
Deadfall
13.75 € -26 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Software Verification and Analysis
You get 122 loyalty points
Book synopsis
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
50.57 €
- Full title: Software Verification and Analysis
- Subtitle: An Integrated, Hands-On Approach
- Author: Janusz Laski, William Stanley
- Language: English
- Binding: Paperback
- Number of pages: 234
- EAN: 9781849968294
- ISBN: 1849968292
- ID: 01434729
- Publisher: Springer, Berlin
- Weight: 384 g
- Dimensions: 234 × 156 × 13 mm
- Published: 2010
Trending among others
-
Implementing Domain-Driven Design
52.90 € -14 % -
Refactoring
53.60 € -4 % -
The Mythical Man-Month
35.39 € -14 % -
Peopleware
37.11 € -14 % -
Software Engineering at Google
46.42 € -25 % -
Data Mesh
56.13 € -25 % -
Clean Architecture
30.03 € -14 % -
Cracking the Coding Interview
46.22 € -18 % -
Clean Code
50.87 € -14 % -
Domain-Driven Design Distilled
30.74 € -19 % -
User Stories Applied
43.89 € -14 % -
Software Requirements
35.60 € -24 % -
User Story Mapping
33.78 € -24 % -
Working Effectively with Legacy Code
52.90 € -14 % -
Software Architect Elevator
46.42 € -25 % -
Pro Git
51.18 € -
Mastering Regular Expressions 3e
42.48 € -24 % -
Agile Testing
48.55 € -14 % -
More Agile Testing
42.88 € -14 % -
Official (ISC)2 (R) Guide to the ISSAP (R) CBK
111.57 € -
Programming Elixir 1.6
44.09 € -19 % -
Ida Pro Book, 2nd Edition
70.70 € -9 % -
Forecasting Oracle Performance
43.79 € -9 % -
Agile Project Management For Beginners
10.31 € -2 % -
Escape Velocity
18.60 € -24 % -
Apprenticeship Patterns
29.83 € -
Patterns of Enterprise Application Architecture
57.35 € -14 % -
The Clean Coder
37.11 € -14 % -
Test Driven Development
40.25 € -14 % -
Continuous Delivery
48.85 € -14 % -
Expert Test Manager
35.39 € -25 % -
OCUP 2 Certification Guide
57.75 € -
Requirements Engineering Fundamentals
28.52 € -25 % -
Talking with Tech Leads
22.65 € -6 % -
Agile Samurai
33.27 € -19 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
32.06 € -24 % -
Real-Time Collision Detection
140.40 € -
Beyond Software Architecture
65.14 € -
Clean Agile
36.10 € -18 % -
Lessons Learned in Software Testing - A Context- Driven Approach
39.95 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.83 € -25 % -
Design It! : Pragmatic Programmers
38.83 € -20 % -
Advanced Software Testing
58.56 € -
Righting Software
54.21 € -
DevOps For Dummies
21.54 € -29 % -
Head First Objects-Oriented Analysis and Design
49.25 € -24 % -
Exploratory Software Testing
38.43 € -14 % -
Software Estimation
32.06 € -24 % -
Managing the Unmanageable
41.77 € -2 %
Shopping guide
Books by language
Collection points Bratislava a 12841 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25686 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)