Formal Approaches to Software Testing
Editat de Wolfgang Grieskamp, Carsten Weiseen Limba Engleză Paperback – 30 mai 2006
Preț: 318.89 lei
Preț vechi: 398.61 lei
-20%
Puncte Express: 478
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540344544
ISBN-10: 3540344543
Pagini: 236
Ilustrații: XII, 219 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540344543
Pagini: 236
Ilustrații: XII, 219 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.37 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 642.55 lei803.18 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It!Michael Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
-20%Preț: 331.38 lei414.22 lei -
ParagonMark S. Sherman-20%Preț: 326.26 lei407.83 lei -
Integrated Formal MethodsWolfgang Grieskamp-20%Preț: 330.15 lei412.69 lei -
Theoretical Aspects of Computer SoftwareTakayasu Ito-20%Preț: 648.87 lei811.09 lei -
-20%Preț: 329.74 lei412.17 lei -
CONCUR'93Eike Best-20%Preț: 335.48 lei419.35 lei -
Foundations of Software Technology and Theoretical Computer ScienceRudrapatna K. Shyamasundar-20%Preț: 331.16 lei413.95 lei -
Mathematics of Program ConstructionBernhard Möller-20%Preț: 328.92 lei411.14 lei -
-20%Preț: 326.24 lei407.80 lei -
-20%Preț: 325.92 lei407.40 lei -
Testing Software and SystemsBrian Nielsen-20%Preț: 320.93 lei401.17 lei
Public țintă
ResearchCuprins
Proceedings FATES 2005.- Simulated Time for Testing Railway Interlockings with TTCN-3.- Model-Based Testing Through a GUI.- Play to Test.- A Note on an Anomaly in Black-Box Testing.- A Novel Test Coverage Metric for Concurrently-Accessed Software Components.- Adaptive Random Testing by Bisection and Localization.- Interactive Testing with HOL-TestGen.- Conformance Testing Relations for Timed Systems.- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.- Calculating Probabilities of Real-Time Test Cases.- Time Unbalanced Partial Order.- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach.- Automated Generation of Positive and Negative Tests for Parsers.- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.