Op werkdagen voor 23:00 besteld, morgen in huis Gratis verzending vanaf €20
Wij wijzen u graag op het volgende
Door drukte zijn de levertijden van PostNL aangepast en kan uw pakket vertraging oplopen. Door de Brexit kan de levering van Engelse boeken vertraging oplopen.

Practical Formal Software Engineering

Wanting the Software You Get

Paperback Engels 2019 9781108818643
Verkooppositie 4943
Verwachte levertijd ongeveer 8 werkdagen

Samenvatting

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly.

This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

Specificaties

ISBN13:9781108818643
Taal:Engels
Bindwijze:paperback
Aantal pagina's:376
Druk:376
Verschijningsdatum:19-12-2019
Hoofdrubriek:IT-management / ICT

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Geef uw waardering

Zeer goed Goed Voldoende Matig Slecht

Over Bruce Mills

Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. He has twenty years of experience in the industrial electronics and software fields, and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming (2010).

Andere boeken door Bruce Mills

Inhoudsopgave

Part I. Fundamentals
1. Arithmetic
2. Logic
3. Algebra
4. Diagrams

Part II. Language
5. UML
6. OCL
7. Z
8. Logic
9. Java

Part III. Practice
10. Implementation
11. State transformation
12. Plain text
13. Natural language
14. Digital geometry
15. Building dungeons
16. Multiple threads
17. Security.

Alle 100 bestsellers

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        Practical Formal Software Engineering