Atjaunināt sīkdatņu piekrišanu

E-grāmata: Practical Formal Software Engineering: Wanting the Software You Get

3.00/5 (4 ratings by Goodreads)
  • Formāts: PDF+DRM
  • Izdošanas datums: 19-Dec-2019
  • Izdevniecība: Cambridge University Press
  • Valoda: eng
  • ISBN-13: 9780511500787
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 45,20 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Practical Formal Software Engineering: Wanting the Software You GetPalielināt
  • Formāts: PDF+DRM
  • Izdošanas datums: 19-Dec-2019
  • Izdevniecība: Cambridge University Press
  • Valoda: eng
  • ISBN-13: 9780511500787
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

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 timely practical solutions. This book takes an engineering approach to illuminate the creation and verification of large software systems in which theorems and axioms are intuited as the formalism materializes through practice. 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. Based around a theme of the construction of a game engine, extensive worked examples motivate readers to learn the languages through the technical side of software science.

Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

Recenzijas

'This book, including its exercises and projects, needs to be worked through. It brings formal methods down to earth, where they belong, but emphatically not in the 'For Dummies' sense. I highly recommend it.' George Hacken, Reviews.com 'This work is a fascinating course resource. Mills (software engineer, ABB, Australia) successfully manages to create an appealing and informative book while respecting the rigor and method required by formal software engineering. the true winner in this book is the writing style, which coupled with the organization of the content, creates a compelling learning experience that a competent instructor can use to build an engaging course.' Choice

Papildus informācija

A practically-minded software engineering textbook aimed at final year undergraduate and graduate students.
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.
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).
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97805115007872e.html
Keywords: