Kód: 25370345
Practical Formal Software Engineering
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 376
Nakladateľ: Cambridge University Press, 2019
- Viac informácií o knihe
56.51 €
Bežne: 56.53 €
Ušetríte 0.02 €
Skladom u dodávateľa
Odosielame za 10 - 18 dní
Mohlo by sa vám tiež páčiť
-
King of Gluttony
10.22 € -33 % -
Offroad Atlas
35.74 € -14 % -
Halcyon Years
13.97 € -24 % -
In Company 3.0 Intermediate Level Class Audio CD
35.44 € -7 % -
Dívka jménem Boy
10.02 € -18 % -
EL PRINCIPE Y LA MODISTA
17.51 € -21 % -
Shakespeare 12 převyprávěných her
9.92 € -19 % -
Kostentr gerst ckrechnung (Kalkulationsverfahren)
53.16 € -7 % -
A Different Kind Of Power
12.75 € -25 % -
Caves
26.93 € -6 % -
Idées reçues sur les règles
26.42 € -
Dance With The Devil
24.20 € -
Leggere, scrivere, argomentare. Prove ragionate di scrittura
14.07 € -
Psalms
10.12 € -9 % -
SI BUSCABAS UNA SEÑAL ES ESTA AHORA
19.03 € -
Awesome 2
7.28 € -6 % -
Nuclear Magnetic Resonance (NMR)
267.38 € -10 % -
Remembering North Carolina's Confederates
19.64 € -21 % -
On the Level
12.75 € -25 % -
East Asia's De Facto Economic Integration
106.44 € -4 % -
Expression Profiling of Human Tumors
151.21 € -9 % -
Addictive Behaviour: Molecules to Mankind
168.02 € -
Mussolini et l'italie fasciste
16.60 € -
Computational Science and High Performance Computing II
206 € -7 % -
Hansa
28.45 € -9 % -
Deontología farmacéutica aplicada
21.46 € -
Lifecycle Approach to Knowledge Excellence in the Biopharmaceutical Industry
78.89 € -
![Flight Into Egypt. [in Verse.]](https://media.libris.to/jacket/07994645t.jpg "Flight Into Egypt. [in Verse.]")
Flight Into Egypt. [in Verse.]
11.23 € -24 % -
Tableau Des Progres de l'Anatomie Dans l'Ecole de Montpellier
13.06 € -1 % -
Innovation in Play Environments
52.05 € -
Felix Fürst Zu Schwarzenberg. Ein Biographisches Denkmal Von Adolph Franz Berger.
26.53 € -1 % -
L'Oracle de la vierge
13.66 € -
Kagetora Ha Kanabo
14.78 € -2 % -
Miecz nieśmiertelnego #08
16.60 € -
Introduction ? L'étude du Droit International
28.35 € -1 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Practical Formal Software Engineering
Nákupom získate 137 bodov
Anotácia knihy
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
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering
56.51 €
- Celý názov: Practical Formal Software Engineering
- Podnázov: Wanting the Software You Get
- Autor: Bruce Mills
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 376
- EAN: 9781108818643
- ISBN: 1108818641
- ID: 25370345
- Nakladateľ: Cambridge University Press
- Hmotnosť: 716 g
- Rozmery: 246 × 187 × 22 mm
- Dátum vydania: 19. December 2019
Obľúbené z iného súdka
-
The Mythical Man-Month
40 € -3 % -
Domain-Driven Design Distilled
30.78 € -19 % -
Peopleware
44.05 € -
Clean Code
50.94 € -14 % -
Implementing Domain-Driven Design
59.95 € -2 % -
User Stories Applied
50.63 € -1 % -
User Story Mapping
33.82 € -24 % -
The Clean Coder
45.67 € -
Clean Architecture
36.76 € -
Patterns of Enterprise Application Architecture
74.33 € -
Software Engineering at Google
46.48 € -25 % -
Cracking the Coding Interview
46.28 € -18 % -
Refactoring
60.05 € -
Test Driven Development
51.85 € -
Real-Time Collision Detection
140.57 € -
Pro Git
51.24 € -
Exploratory Software Testing
38.48 € -14 % -
DevOps For Dummies
21.56 € -29 % -
Documenting Software Architectures
68.15 € -14 % -
Professional Scrum Master (PSM I) Guide
39.19 € -1 % -
Way of the Web Tester
28.05 € -20 % -
Programming Elixir 1.6
44.15 € -19 % -
Building a Data Warehouse
75.75 € -9 % -
Debug It!
38.27 € -
Mikado Method
49.11 € -
Design of Design, The
37.36 € -2 % -
Software Requirements
55.39 € -
Working Effectively with Legacy Code
67.65 € -
Software Architect Elevator
45.97 € -25 % -
Continuous Delivery
61.57 € -
Expert Test Manager
35.44 € -25 % -
Talking with Tech Leads
22.68 € -6 % -
Clean Agile
39.59 € -11 % -
OCUP 2 Certification Guide
67.04 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.88 € -25 % -
Requirements Engineering Fundamentals
28.55 € -25 % -
Data Mesh
56.20 € -25 % -
Agile Samurai
34.73 € -16 % -
Storytelling in Design
40.30 € -25 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
32.10 € -24 % -
Beyond Software Architecture
64.71 € -
Lessons Learned in Software Testing - A Context- Driven Approach
44.15 € -4 % -
Advanced Software Testing V 2. 2e
56 € -
Explore It!
28.05 € -20 % -
Design It! : Pragmatic Programmers
38.88 € -20 % -
Advanced Software Testing
58.63 € -
Righting Software
54.28 € -
Head First Objects-Oriented Analysis and Design
49.31 € -24 % -
Software Estimation
32.10 € -24 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12792 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)