Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formal Approaches to Software Testing and Runtime Verification: First Combined I

Ø 0.0

0 Bewertungen

68,59 €

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783540496991
Book Title:

Formal Approaches to Software Testing and Runtime Verification
ISBN:

9783540496991

None:

International Standard : tracked-no signature (7 to 15 business days) 21,08 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Amerikanisch-Samoa , Fidschi , ... und weitere

Formal Approaches to Software Testing and Runtime Verification: First Combined I

Software Quality Approaches: Testing, Verification, and Validation: Software Bes

Fundamental Approaches to Software Engineering: First International Conference,

Formal Approaches to Software Testing: Third International Workshop on Formal Ap

Software Engineering Approaches for Offshore and Outsourced Development: First I

Rigorous Software Development: An Introduction to Program Verification by Jos? B

Formal Approaches to Software Testing: 5th International Workshop, Fates 2005,

Formal Approaches to Software Testing: 5th International Workshop, Fates 2005,

Hardware and Software: Verification and Testing: Third International Haifa Verif

Software Fault Prevention, Verification, and Validation: First International Sym

Hardware and Software, Verification and Testing: First International Haifa Verif

Hardware and Software: Verification and Testing: 4th International Haifa Verific

Fundamental Approaches to Software Engineering: 23rd International Conference, F

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, E

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, L

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Fundamental Approaches to Software Engineering: 5th International Conference, FA

String Analysis for Software Verification and Security by Tevfik Bultan (English

Beyond Testing: The Art and Science of Formal Verification by Shalini Paperback

Formal Approaches to Software Testing and Runtime Verification: First Combined I

Ähnliche Artikel

Software Quality Approaches: Testing, Verification, and Validation: Software Bes

Fundamental Approaches to Software Engineering: First International Conference,

Formal Approaches to Software Testing: Third International Workshop on Formal Ap

Software Engineering Approaches for Offshore and Outsourced Development: First I

Rigorous Software Development: An Introduction to Program Verification by Jos? B

Formal Approaches to Software Testing: 5th International Workshop, Fates 2005,

Formal Approaches to Software Testing: 5th International Workshop, Fates 2005,

Hardware and Software: Verification and Testing: Third International Haifa Verif

Software Fault Prevention, Verification, and Validation: First International Sym

Hardware and Software, Verification and Testing: First International Haifa Verif

Hardware and Software: Verification and Testing: 4th International Haifa Verific

Fundamental Approaches to Software Engineering: 23rd International Conference, F

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, E

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, L

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Fundamental Approaches to Software Engineering: 5th International Conference, FA

String Analysis for Software Verification and Security by Tevfik Bultan (English

Beyond Testing: The Art and Science of Formal Verification by Shalini Paperback

Cookie Hinweis