Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

Bis 07.03. Tagetessamen GRATIS¹!
Code: 03TAGETES

Tests and Proofs

11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Tests and Proofs".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 87732094

Buch 53.49 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 87732094

Buch 53.49 €
In den Warenkorb
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Tests and Proofs / Lecture Notes in Computer Science Bd.10375
Bd. 10375

Tests and Proofs / Lecture Notes in Computer Science Bd.10375

0 Sterne
eBook

53.49 €

Download bestellen
Erschienen am 03.07.2017
sofort als Download lieferbar
Break-Glass

Break-Glass

Helmut Petritsch

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 01.10.2014
lieferbar
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

0 Sterne
Buch

87.73 €

Vorbestellen
Erschienen am 21.08.2018
Jetzt vorbestellen
Data Management in Grid and Peer-to-Peer Systems

Data Management in Grid and Peer-to-Peer Systems

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 19.08.2011
lieferbar
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

0 Sterne
Buch

112.35 €

In den Warenkorb
Erschienen am 27.09.2017
lieferbar
DNA Computing and Molecular Programming

DNA Computing and Molecular Programming

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 08.09.2018
lieferbar
Applications of Evolutionary Computing

Applications of Evolutionary Computing

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 31.03.2006
lieferbar
Ansible

Ansible

Michael Heap

0 Sterne
Buch

35.30 €

In den Warenkorb
lieferbar
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 04.04.2019
lieferbar
Computer and Information Sciences - ISCIS 2005

Computer and Information Sciences - ISCIS 2005

0 Sterne
Buch

160.49 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Algorithmic Adventures

Algorithmic Adventures

Juraj Hromkovic

0 Sterne
Buch

40.65 €

In den Warenkorb
Erschienen am 07.07.2009
lieferbar
Computational Science - ICCS 2001

Computational Science - ICCS 2001

0 Sterne
Buch

139.99 €

In den Warenkorb
Erschienen am 24.05.2001
lieferbar
Computer and Information Sciences -- ISCIS 2003

Computer and Information Sciences -- ISCIS 2003

0 Sterne
Buch

149.99 €

In den Warenkorb
Erschienen am 14.10.2003
lieferbar
Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming

0 Sterne
Buch

104.85 €

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 23.02.2019
lieferbar
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 15.08.2018
lieferbar
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 04.04.2019
lieferbar
Produktdetails
Produktinformationen zu „Tests and Proofs “
Klappentext zu „Tests and Proofs “
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Inhaltsverzeichnis zu „Tests and Proofs “
Abstraction Refinement for the Analysis of Software Product Lines.- Hybrid Information Flow Analysis for Real-World C Code.- Symbolic Execution of Transition Systems with Function Summaries.- Unit Testing of Database-Driven Java Enterprise Edition Applications.- Model-Based Testing of Probabilistic Systems with Stochastic Time.- Test Suite Reduction in Idempotence Testing of Infrastructure as Code.- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms.- Skolem Function Continuation for Quantified Boolean Formulas.- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions.- Testing a Saturation-Based Theorem Prover: Experiences and Challenges.
Bibliographische Angaben

  • 2017, 1st ed. 2017, 176 Seiten, 38 Schwarz-Weiß-Abbildungen, Maße: 15,9 x 23,6 cm, Kartoniert (TB), Englisch
  • Herausgegeben von Gabmeyer, Sebastian; Johnsen, Einar Broch
  • Verlag: Springer
  • ISBN-10: 3319614665
  • ISBN-13: 9783319614663
  • Erscheinungsdatum: 18.06.2017

Sprache:
Englisch
Kommentar zu "Tests and Proofs"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Tests and Proofs".

Kommentar verfassen
Andere Kunden kauften auch
Break-Glass

Break-Glass

Helmut Petritsch

0 Sterne
Buch

69.99 €

In den Warenkorb
Erschienen am 01.10.2014
lieferbar
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

0 Sterne
Buch

87.73 €

Vorbestellen
Erschienen am 21.08.2018
Jetzt vorbestellen
Data Management in Grid and Peer-to-Peer Systems

Data Management in Grid and Peer-to-Peer Systems

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 19.08.2011
lieferbar
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing

0 Sterne
Buch

112.35 €

In den Warenkorb
Erschienen am 27.09.2017
lieferbar
DNA Computing and Molecular Programming

DNA Computing and Molecular Programming

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 08.09.2018
lieferbar
Applications of Evolutionary Computing

Applications of Evolutionary Computing

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 31.03.2006
lieferbar
Ansible

Ansible

Michael Heap

0 Sterne
Buch

35.30 €

In den Warenkorb
lieferbar
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 04.04.2019
lieferbar
Computer and Information Sciences - ISCIS 2005

Computer and Information Sciences - ISCIS 2005

0 Sterne
Buch

160.49 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Algorithmic Adventures

Algorithmic Adventures

Juraj Hromkovic

0 Sterne
Buch

40.65 €

In den Warenkorb
Erschienen am 07.07.2009
lieferbar
Computational Science - ICCS 2001

Computational Science - ICCS 2001

0 Sterne
Buch

139.99 €

In den Warenkorb
Erschienen am 24.05.2001
lieferbar
Computer and Information Sciences -- ISCIS 2003

Computer and Information Sciences -- ISCIS 2003

0 Sterne
Buch

149.99 €

In den Warenkorb
Erschienen am 14.10.2003
lieferbar
Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming

0 Sterne
Buch

104.85 €

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 22.07.2018
lieferbar
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 23.02.2019
lieferbar
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 15.08.2018
lieferbar
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

53.49 €

In den Warenkorb
Erschienen am 04.04.2019
lieferbar
Weitere Empfehlungen zu „Tests and Proofs “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Tests and Proofs“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich