Formal Methods and Testing
11
%
1817 Kč 2 036 Kč
Sleva až 70% u třetiny knih
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.
| Nakladatel: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| ISBN: | 9783540789161 |
| Rok vydání: | 2008 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 370 |
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.
-
C Programming Language
Kernighan, Brian W.
-
Design Patterns
Gamma, Erich
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Numerical Recipes
Press, William H.
-
Einstieg in C++
Will, Torsten T.
-
IT-Projektmanagement
Geirhos, Matthias
-
Einführung in die Programmierung mit ...
Sedgewick, Robert
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
It-Alignment
Masak, Dieter
