Tipsa dina vänner om produkten:
Practical Formal Software Engineering: Wanting the Software You Get Bruce Mills
Pris
SEK 779
Beställningsvara
Förväntad leverans 28 jul - 11 aug
Få avisering om nya utgåvor med Bruce Mills
Lägg till din iMusic-önskelista
eller
Practical Formal Software Engineering: Wanting the Software You Get
Bruce Mills
A textbook with a practical bent, for final year undergraduate and graduate students, emphasising 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.
376 pages, Worked examples or Exercises; 6 Tables, unspecified
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 19 december 2019 |
| ISBN13 | 9781108818643 |
| Utgivare | Cambridge University Press |
| Antal sidor | 376 |
| Mått | 187 × 246 × 22 mm · 666 g |
| Språk | Engelska |
Fler produkter med Bruce Mills
Visa alla
Mer från samma **utgivare**
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Pocketbok) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-pocketbok&class=scaled&v=1781538992)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Inbunden Bok) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-inbunden-bok&class=scaled&v=1781538969)
![Cover for Fontaine, Lise (Universite du Quebec a Trois-Rivieres) · Analysing English Grammar: A Systemic Functional Introduction (Pocketbok) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781009437905.jpg?fontaine-lise-universite-du-quebec-a-trois-rivieres-2027-analysing-english-grammar-a-systemic-functional-introduction-pocketbok&class=scaled&v=1781538937)
Se alt med Bruce Mills ( t.ex. Pocketbok och Inbunden Bok )