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
-
The C++ Programming Language
Stroustrup, Bjarne
-
The Clean Coder
Martin, Robert C.
-
XSLT 2.0 a SVG prakticky
Pavel Herout
-
Think Like a Programmer
Spraul, V. Anton
-
Microsoft SQL Server 2012 Podstawy ję...
Ben-Gan Itzik
-
GIGABYTE VGA NVIDIA GeForce GT 710, 2...
-
SWITCH Minecraft: Nintendo Switch Edi...
-
C programmieren lernen für Dummies
Gookin, Dan
-
Java programmieren lernen für Dummies
Burd, Barry
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Formal SQL Tuning for Oracle Databases
Nossov, Leonid
-
The NURBS Book
Piegl, Les; Tiller, Wayne