Tests and Proofs (Paperback)

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010

3642139760 / 9783642139765

Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 12. Oktober 2005

Softcover

Zustand: Neu

EUR 69,56

 Versand gratis 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Paperback. This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 in M alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: Who would want to ?y in an airplane with software proved correct, but not tested? Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both testing and provingin their titles, we are clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Bestandsnummer des Verkäufers 9783642139765

Titel
Tests and Proofs (Paperback)
Autor
Gordon Fraser
Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Erscheinungsjahr
2010
Zustand
new
Einband
Paperback
Sprache
Englisch
ISBN-10
3642139760
ISBN-13
9783642139765

Grand Eagle Retail

Bensenville, IL, USA

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 12. Oktober 2005

Versandkosten innerhalb von USA

Artikel6 bis 14 Werktage6 bis 16 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE USA 19805