Software Abstractions
10
%
752 Kč 834 Kč
Sleva až 70% u třetiny knih
An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language.
| Autor: | Jackson, Daniel (University of Surrey, UK) |
| Nakladatel: | MIT Press Ltd |
| ISBN: | 9780262528900 |
| Rok vydání: | CZE |
| Jazyk : | Čeština |
| Vazba: | CZE |
| Počet stran: | CZE |
Mohlo by se vám také líbit..
-
Healthcare Economics Made Easy, seco...
Jackson, Daniel (University of Surrey, UK)
-
Reinforcement Learning
Richard Sutton
-
Spotify Teardown
Baaz, Maria Eriksson; Stern, Maria
-
Real-World Algorithms
Louridas, Panos (Athens University of Economics and Business)
-
Model Checking
Jr., Edmund M. Clarke (Carnegie Mellon University); Grumberg, Orna (Technion); Kroening, Daniel (Oxford University); Pel
-
How Smart Machines Think
Gerrish, Sean
-
An Introduction to Agent-Based Modeling
Wilensky, Uri; Rand, William
-
Deep Learning
Kelleher, John D.
-
Machine Learning
Murphy, Kevin P.
-
From Fingers to Digits
Boden, Margaret A.
-
Principles of Model Checking
Baier, Christel (Technische Universitat Dresden); Katoen, Joost-Pieter (RWTH Aachen University)
-
How to Grow a Robot
Greenblatt, Mark Lee
-
The AI Advantage
Davenport, Thomas H.
-
Java Precisely
Sestoft, Peter (IT University of Copenhagen); Hansen, Henrik I. (University of Copenhagen)
-
The Software Arts
Sack, Warren (Chair + Professor, University of California, Santa Cruz)
-
How to Design Programs
Felleisen, Matthias