Concise Guide to Formal Methods
1725 Kč
Sleva až 70% u třetiny knih
| Autor: | O'Regan, Gerard |
| Nakladatel: | Springer International Publishing AG |
| ISBN: | 9783319640204 |
| Rok vydání: | 2017 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 322 |
Mohlo by se vám také líbit..
-
Lie Groups, Lie Algebras, and Repres...
Hall, Brian J
-
Theory and Simulation of Random Phen...
Vitali, Ettore; Motta, Mario; Galli, Davide Emilio
-
Introduction to Riemannian Manifolds
Johns Lee
-
Galois Theory Through Exercises
Brzezinski, Juliusz
-
The Discrete Math Workbook
Kurgalin, Sergei; Borzunov, Sergei
-
Optimization and Approximation
Pedregal, Pablo
-
Multivariable Calculus with MATLAB (R)
Hunt, Brian R. (University of Maryland, College Park); Lipsman, Ronald L. (University of Maryland, College Park); Rosenb
-
Homological Methods, Representation ...
-
The Real Numbers
Stillwell, John
-
Lectures on Matrix Field Theory
Ydri, Badis
-
Multivariable Calculus with Applicat...
Claxton, Peter
-
Modeling Life
Garfinkel, Alan
-
Generic Coarse Geometry of Leaves
Alvarez Lopez, Jesus A.; Candel, Alberto
-
Differential Geometry
Bott, Raoul; Tu, Loring W.
-
Regression Modeling Strategies
Harrell, Frank E., Jr.
-
Almost Automorphic Type and Almost P...
Diagana, Toka