Verification, Model Checking, and Abstract Interpretation
47
%
1021 Kč 1 941 Kč
Sleva až 70% u třetiny knih
| Nakladatel: | Springer International Publishing AG |
| ISBN: | 9783319737201 |
| Rok vydání: | 2018 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
| Počet stran: | 540 |
Mohlo by se vám také líbit..
-
Učebnice jazyka C 1.díl 6.v.
Pavel Herout
-
Učebnice jazyka Java 5.v.
Pavel Herout
-
Učebnice jazyka C 2.díl
Pavel Herout
-
Clean Coder
Martin, Robert C.
-
The Clean Coder
Martin, Robert C.
-
Essential Scrum
Rubin, Kenneth S.
-
C Programming Language
Kernighan, Brian W.
-
Design Patterns
Gamma, Erich
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Numerical Recipes
Press, William H.
-
Think Like a Programmer
Spraul, V. Anton
-
Effektives Arbeiten mit Legacy Code
Feathers, Michael C.
-
Inside PixInsight
Keller, Warren A.
-
Fundamentals of Java Programming
Ogihara, Mitsunori
-
Medical Robotics
Schweikard, Achim; Ernst, Floris
-
Algorithms for Data Science
Steele, Brian; Chandler, John; Reddy, Swarna
