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..
-
Game Theory Basics
Von Stengel, Rudiger
-
Mining of Massive Datasets
Leskovec, Jure (Stanford University, California); Rajaraman, Anand; Ullman, Jeffrey David (Stanford University, Californ
-
Machine Learning with Neural Networks
Mehlig, Bernhard (Goeteborgs Universitet, Sweden)
-
Learning Scientific Programming with ...
Hill, Christian
-
Machine Learning for Asset Managers
De Prado, Lopez
-
A Hands-On Introduction to Data Science
Shah, Chirag (University of Washington)
-
Integer Linear Programming in Comput...
Gusfield, Dan (University of California, Davis)
-
Mastering Mathematical Finance
Capinski, Maciej J.; Kopp, Ekkehard
-
Modern Statistics for Modern Biology
Holmes, Susan (Stanford University, California); Huber, Wolfgang
-
A/AS Level Computer Science for WJEC...
Surrall, Alistair; Hamflett, Adam
-
Machine Learning Refined
Watt, Jeremy (Northwestern University, Illinois); Borhani, Reza (Northwestern University, Illinois); Katsaggelos, Aggelo
-
Foundations of Cryptography: Volume ...
Goldreich, Oded
-
Foundations of Data Science
Blum, Avrim; Hopcroft, John (Cornell University, New York); Kannan, Ravi
-
Model-Based Clustering and Classific...
Bouveyron, Charles; Celeux, Gilles; Murphy, T. Brendan (University College Dublin); Raftery, Adrian E. (University of Wa
-
Modern Compiler Implementation in ML
Appel, Andrew W.
-
125 Problems in Text Algorithms
Crochemore, Maxime (King's College London, Uk); Rytter, Wojciech (Warsaw Univ, Poland)