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.
-
Design Patterns
Gamma, Erich
-
The Clean Coder
Martin, Robert C.
-
Essential Scrum
Rubin, Kenneth S.
-
C Programming Language
Kernighan, Brian W.
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Numerical Recipes
Press, William H.
-
Think Like a Programmer
Spraul, V. Anton
-
Simple Machines
Isogawa, Yoshihito
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Proofs from THE BOOK
Aigner, Martin