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
-
Succeeding with Agile
Cohn, Mike
-
Design Patterns
Gamma, Erich
-
The Clean Coder
Martin, Robert C.
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
The C++ Programming Language
Stroustrup, Bjarne
-
Think Like a Programmer
Spraul, V. Anton
-
Teach Your Kids to Code
Payne, Bryson
-
Microsoft SQL Server 2012 Podstawy ję...
Ben-Gan Itzik
-
Grokking Algorithms
ADITYA BHARGAVA
-
Simulation and Inference for Stochas...
Iacus, Stefano M.; Yoshida, Nakahiro
-
New Horizons for a Data-Driven Economy
-
Medical Robotics
Schweikard, Achim; Ernst, Floris
-
Guide to Automotive Connectivity and...
Moeller, Dietmar P.F.; Haas, Roland E.