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..
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
The Voyage of Thought
Wintroub, Michael (University of California, Berkeley)
-
Sea Loads on Ships and Offshore Stru...
Faltinsen, Odd M. (Norwegian University of Science and Technology, Trondheim)
-
Interchange Level 2 Teacher´s Edition...
Richards, Jack C.
-
Quantum Computing for Computer Scien...
Yanofsky, Noson S.
-
Mathematics for Machine Learning
Deisenroth, Marc Peter (University College London); Faisal, A. Aldo (Imperial College London); Ong, Cheng Soon
-
Machine Learning for Asset Managers
De Prado, Lopez
-
Introduction to Engineering Heat Tra...
Nellis, G. F. (University of Wisconsin, Madison); Klein, S. A. (University of Wisconsin, Madison)
-
Data-Driven Science and Engineering
Duriez, Thomas; Brunton, Steven L.; Noack, Bernd R.
-
An Introduction to Composite Materials
Clyne, T. W. (University of Cambridge); Hull, D. (University of Liverpool)
-
Many-Body Theory of Condensed Matter...
Cottam, Michael G. (University of Western Ontario); Haghshenasfard, Zahra (University of Western Ontario)
-
Learning Scientific Programming with ...
Hill, Christian
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
Wind Turbines
Anderson, Colin
-
The Discrete Mathematical Charms of P...
Applegate, David L.; Bixby, Robert E.; Chvatal, Vasek; Cook, William J.
-
Electronic Structure
Martin, Richard