Practical Formal Software Engineering
1153 Kč
Sleva až 70% u třetiny knih
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.
Autor: | Mills, Bruce |
Nakladatel: | Cambridge University Press |
ISBN: | 9781108818643 |
Rok vydání: | 2019 |
Jazyk : | Angličtina |
Vazba: | Paperback / softback |
Počet stran: | 376 |
Mohlo by se vám také líbit..
-
Recipe for Survival
Hunnes, Dana Ellis (University of California, Los Angeles)
-
Kid´s Box 1 Updated 2nd Edition: Pres...
Caroline Nixon, Michael Tomlinson
-
Essential Grammar in Use Supp.Exercis...
Naylor Helen, Murphy Raymond,
-
face2face 2e ELE: WB with Key
Clark, Rachel; Cerda, Belinda; Redston, Chris
-
English Collocations in Use: Advanced
O´Dell Felicity
-
Professional English in Use Medicine
Glendinning Eric H.
-
More! Level 3 Workbook with Audio CD ...
Puchta Herbert, Stranks Jeff,
-
English Vocabulary in Use Pre-interme...
Stuart Redman
-
More! Level 4 Workbook with Audio CD ...
Puchta Herbert, Stranks Jeff,
-
English Phonetics and Phonology with ...
Roach, Peter
-
Objective CAE (updated exam): Student...
O´Dell Felicity
-
face2face Advanced: Workbook with Key
Tims Nicholas
-
Vocabulary in Practice 3 Pre-intermed...
Pye Glennis
-
More! Level 1 Workbook with Audio CD ...
Puchta Herbert, Stranks Jeff,
-
Face2face Advanced Teacher´s Book wit...
Kolektiv Autorů
-
Business Advantage UPP: SB with DVD
Handford, Michael