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

MEGA-SALE: jetzt bis zu 90%² sparen!

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Verification, Model Checking, and Abstract Interpretation".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 94292908

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

Bestellnummer: 94292908

Buch 79.18 €
In den Warenkorb
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-1%
Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.10747
Bd. 10747

Verification, Model Checking, and Abstract Interpretation / Lecture Notes in Computer Science Bd.10747

0 Sterne
eBook

Statt 79.18 € 19

78.10 €

Download bestellen
Erschienen am 03.01.2018
sofort als Download lieferbar
String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf

0 Sterne
Buch

90.94 €

Vorbestellen
Erschienen am 30.01.2018
Voraussichtlich lieferbar in 5 Tag(en)
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

0 Sterne
Buch

87.73 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

0 Sterne
Buch

87.73 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Runtime Verification

Runtime Verification

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 03.01.2019
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
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

0 Sterne
Buch

53.49 €

Vorbestellen
Erschienen am 04.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 12.09.2007
lieferbar
AIIA 2017 Advances in Artificial Intelligence; .

AIIA 2017 Advances in Artificial Intelligence; .

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 02.12.2017
lieferbar
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 11.02.2015
lieferbar
Testing of Software and Communicating Systems

Testing of Software and Communicating Systems

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 26.05.2008
lieferbar
Static Analysis

Static Analysis

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 01.07.2008
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

85.59 €

Vorbestellen
Erschienen am 27.06.2001
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

0 Sterne
Buch

87.73 €

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

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

70.61 €

In den Warenkorb
Erschienen am 10.07.2018
lieferbar
Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 08.12.2017
lieferbar
Produktdetails
Produktinformationen zu „Verification, Model Checking, and Abstract Interpretation “
Klappentext zu „Verification, Model Checking, and Abstract Interpretation “
This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Inhaltsverzeichnis zu „Verification, Model Checking, and Abstract Interpretation “
Program verification.- Model checking.- Abstract interpretation.- Program synthesis.- Static analysis.- Type systems.- Deductive methods.- Program certification.- Decision procedures.- Theorem proving.- Program certification.- Debugging techniques.- Program transformation.- Optimization.- Hybrid and cyber-physical systems.
Bibliographische Angaben

  • 1st ed. 2018, 560 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Verlag: Springer, Berlin
  • ISBN-10: 3319737201
  • ISBN-13: 9783319737201
  • Erscheinungsdatum: 10.01.2018

Sprache:
Englisch
Kommentar zu "Verification, Model Checking, and Abstract Interpretation"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Verification, Model Checking, and Abstract Interpretation".

Kommentar verfassen
Andere Kunden kauften auch
String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf

0 Sterne
Buch

90.94 €

Vorbestellen
Erschienen am 30.01.2018
Voraussichtlich lieferbar in 5 Tag(en)
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 12.11.2017
lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

0 Sterne
Buch

87.73 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

0 Sterne
Buch

87.73 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Runtime Verification

Runtime Verification

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 03.01.2019
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
Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

0 Sterne
Buch

53.49 €

Vorbestellen
Erschienen am 04.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 12.09.2007
lieferbar
AIIA 2017 Advances in Artificial Intelligence; .

AIIA 2017 Advances in Artificial Intelligence; .

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 02.12.2017
lieferbar
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 11.02.2015
lieferbar
Testing of Software and Communicating Systems

Testing of Software and Communicating Systems

0 Sterne
Buch

89.99 €

In den Warenkorb
Erschienen am 26.05.2008
lieferbar
Static Analysis

Static Analysis

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 01.07.2008
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Automata, Languages and Programming

Automata, Languages and Programming

0 Sterne
Buch

85.59 €

Vorbestellen
Erschienen am 27.06.2001
Voraussichtlich lieferbar in 3 Tag(en)
Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

0 Sterne
Buch

87.73 €

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

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

70.61 €

In den Warenkorb
Erschienen am 10.07.2018
lieferbar
Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

0 Sterne
Buch

58.84 €

In den Warenkorb
Erschienen am 08.12.2017
lieferbar
Weitere Empfehlungen zu „Verification, Model Checking, and Abstract Interpretation “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Verification, Model Checking, and Abstract Interpretation“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich