Code: 25370345
Practical Formal Software Engineering
by Bruce Mills
Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tool ... more
- Language:
English - Binding: Paperback
- Number of pages: 376
Publisher: Cambridge University Press, 2019
- More about this
56.31 €
RRP: 56.33 €
You save 0.02 €
In stock at our supplier
Shipping in 10 - 18 days
You might also like
-
King of Gluttony
10.08 € -25 % -
Halcyon Years
14.12 € -23 % -
Offroad Atlas
35.62 € -14 % -
In Company 3.0 Intermediate Level Class Audio CD
35.31 € -7 % -
Sejong Korean Vocabulary and Grammar 4B
9.68 € -9 % -
Dívka jménem Boy
9.88 € -19 % -
EL PRINCIPE Y LA MODISTA
17.45 € -21 % -
Shakespeare 12 převyprávěných her
15.73 € -12 % -
Kostentr gerst ckrechnung (Kalkulationsverfahren)
52.98 € -7 % -
A Different Kind Of Power
12.71 € -25 % -
A kínai konyha kultúrtörténete
24.01 € -14 % -
Caves
32.99 € -
Idées reçues sur les règles
26.43 € -
Dance With The Devil
24.11 € -
Leggere, scrivere, argomentare. Prove ragionate di scrittura
14.02 € -
Life of Jesus
37.23 € -1 % -
George kulcsa a rejtélyes univerzumhoz
9.58 € -13 % -
Psalms
9.78 € -9 % -
Awesome 2
7.26 € -6 % -
SI BUSCABAS UNA SEÑAL ES ESTA AHORA
18.96 € -
Addictive Behaviour: Molecules to Mankind
167.43 € -
Open Door
26.23 € -
Nuclear Magnetic Resonance (NMR)
266.44 € -10 % -
On the Level
12.71 € -25 % -
Remembering North Carolina's Confederates
19.57 € -21 % -
East Asia's De Facto Economic Integration
106.07 € -4 % -
Expression Profiling of Human Tumors
150.68 € -9 % -
Búsqueda de empleo a través de Internet
23.41 € -
From God, to Mom, to Me
10.59 € -7 % -
The Beautiful Struggle
6.35 € -7 % -
Building State Capability
90.72 € -
Taking the Kids to Italy
13.72 € -2 % -
Mussolini et l'italie fasciste
16.64 € -
Letters of Daniel Defoe
195.18 € -
Computational Science and High Performance Computing II
205.28 € -7 % -
Greek Metaphor: Studies in Theory and Practice
18.36 € -1 % -
Hansa
28.35 € -9 % -
![Flight Into Egypt. [in Verse.]](https://media.libris.to/jacket/07994645t.jpg "Flight Into Egypt. [in Verse.]")
Flight Into Egypt. [in Verse.]
11.19 € -24 % -
Lifecycle Approach to Knowledge Excellence in the Biopharmaceutical Industry
78.61 € -
Tableau Des Progres de l'Anatomie Dans l'Ecole de Montpellier
13.01 € -1 % -
Innovation in Play Environments
50.96 € -
Deontología farmacéutica aplicada
21.29 € -
L'Oracle de la vierge
13.62 € -
Learning Computer Graphics
55.70 € -
Felix Fürst Zu Schwarzenberg. Ein Biographisches Denkmal Von Adolph Franz Berger.
26.43 € -1 % -
Phenix-Fuglen: Et Angelsachsisk Kvad (1840)
19.27 € -2 % -
Elements de la Grammaire Francaise de C.-F. Lhomond, Avec Des Exercices Gradues Sur Chaque Regle
18.36 € -4 % -
Kagetora Ha Kanabo
14.73 € -2 % -
Miecz nieśmiertelnego #08
16.54 €
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 Practical Formal Software Engineering
You get 137 loyalty points
Book synopsis
Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
56.31 €
- Full title: Practical Formal Software Engineering
- Subtitle: Wanting the Software You Get
- Author: Bruce Mills
- Language: English
- Binding: Paperback
- Number of pages: 376
- EAN: 9781108818643
- ISBN: 1108818641
- ID: 25370345
- Publisher: Cambridge University Press
- Weight: 716 g
- Dimensions: 246 × 187 × 22 mm
- Date of publishing: 19. December 2019
Trending among others
-
Clean Code
50.76 € -14 % -
Working Effectively with Legacy Code
52.78 € -14 % -
Software Architect Elevator
46.32 € -25 % -
Agile Project Management For Beginners
10.28 € -2 % -
Official (ISC)2 (R) Guide to the ISSAP (R) CBK
111.31 € -
Clean Architecture
30.07 € -14 % -
The Mythical Man-Month
35.42 € -14 % -
Domain-Driven Design Distilled
30.67 € -19 % -
Implementing Domain-Driven Design
52.78 € -14 % -
Software Engineering at Google
46.32 € -25 % -
Cracking the Coding Interview
46.11 € -18 % -
Refactoring
53.48 € -4 % -
User Stories Applied
43.89 € -14 % -
Software Requirements
35.62 € -24 % -
User Story Mapping
33.70 € -24 % -
Patterns of Enterprise Application Architecture
57.22 € -14 % -
Peopleware
37.13 € -14 % -
Pro Git
51.06 € -
Mastering Regular Expressions 3e
42.48 € -24 % -
Exploratory Software Testing
38.34 € -14 % -
Agile Testing
48.44 € -14 % -
More Agile Testing
42.78 € -14 % -
Documenting Software Architectures
67.91 € -14 % -
Programming Elixir 1.6
43.99 € -19 % -
Ida Pro Book, 2nd Edition
70.54 € -9 % -
Forecasting Oracle Performance
43.69 € -9 % -
Escape Velocity
18.56 € -24 % -
Apprenticeship Patterns
29.76 € -
The Clean Coder
37.13 € -14 % -
Test Driven Development
40.26 € -14 % -
Continuous Delivery
48.74 € -14 % -
Expert Test Manager
35.31 € -25 % -
OCUP 2 Certification Guide
57.62 € -
Requirements Engineering Fundamentals
28.45 € -25 % -
Data Mesh
56 € -25 % -
Talking with Tech Leads
22.60 € -6 % -
Agile Samurai
33.30 € -19 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
31.98 € -24 % -
Real-Time Collision Detection
140.08 € -
Beyond Software Architecture
64.99 € -
Clean Agile
36.12 € -18 % -
Lessons Learned in Software Testing - A Context- Driven Approach
39.86 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.75 € -25 % -
Design It! : Pragmatic Programmers
38.75 € -20 % -
Advanced Software Testing
58.43 € -
Righting Software
54.09 € -
DevOps For Dummies
21.49 € -29 % -
Head First Objects-Oriented Analysis and Design
49.14 € -24 % -
Software Estimation
31.98 € -24 %
Shopping guide
Books by language
Collection points Bratislava a 12797 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25598 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)