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

KALENDER SALE: Bis zu 50% reduziert!

Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Abstract State Machines, Alloy, B, TLA, VDM, and Z".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 99563099

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

Bestellnummer: 99563099

Buch 74.89 €
In den Warenkorb
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Abstract State Machines, Alloy, B, TLA, VDM, and Z / Lecture Notes in Computer Science Bd.10817
Bd. 10817

Abstract State Machines, Alloy, B, TLA, VDM, and Z / Lecture Notes in Computer Science Bd.10817

0 Sterne
eBook

74.89 €

Download bestellen
Erschienen am 14.05.2018
sofort als Download lieferbar
Infinity in Logic and Computation

Infinity in Logic and Computation

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 26.10.2009
lieferbar
Logical Foundations of Computer Science

Logical Foundations of Computer Science

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 28.11.2017
lieferbar
Conceptual Structures: Leveraging Semantic Technologies

Conceptual Structures: Leveraging Semantic Technologies

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 10.07.2009
lieferbar
Fundamentals of Computation Theory

Fundamentals of Computation Theory

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 28.07.2009
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
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
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
Interactive Theorem Proving

Interactive Theorem Proving

0 Sterne
Buch

96.29 €

In den Warenkorb
Erschienen am 04.07.2018
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
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
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
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)
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
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
Logic Programming

Logic Programming

0 Sterne
Buch

106.99 €

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

Verification, Model Checking, and Abstract Interpretation

0 Sterne
Buch

79.18 €

In den Warenkorb
Erschienen am 10.01.2018
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
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
Produktdetails
Produktinformationen zu „Abstract State Machines, Alloy, B, TLA, VDM, and Z “
Klappentext zu „Abstract State Machines, Alloy, B, TLA, VDM, and Z “
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Inhaltsverzeichnis zu „Abstract State Machines, Alloy, B, TLA, VDM, and Z “
 Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.- Refinement.- Hybrid ERTMS Case Study.- Short Papers.
Bibliographische Angaben

  • 2018, 1st ed. 2018, 448 Seiten, 83 Schwarz-Weiß-Abbildungen, Maße: 15,7 x 23,8 cm, Kartoniert (TB), Englisch
  • Herausgegeben von Butler, Michael; Raschke, Alexander; Hoang, Thai Son; Reichl, Klaus
  • Verlag: Springer
  • ISBN-10: 3319912704
  • ISBN-13: 9783319912707
  • Erscheinungsdatum: 08.05.2018

Sprache:
Englisch
Kommentar zu "Abstract State Machines, Alloy, B, TLA, VDM, and Z"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Abstract State Machines, Alloy, B, TLA, VDM, and Z".

Kommentar verfassen
Andere Kunden kauften auch
Infinity in Logic and Computation

Infinity in Logic and Computation

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 26.10.2009
lieferbar
Logical Foundations of Computer Science

Logical Foundations of Computer Science

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 28.11.2017
lieferbar
Conceptual Structures: Leveraging Semantic Technologies

Conceptual Structures: Leveraging Semantic Technologies

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 10.07.2009
lieferbar
Fundamentals of Computation Theory

Fundamentals of Computation Theory

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 28.07.2009
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
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
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
Interactive Theorem Proving

Interactive Theorem Proving

0 Sterne
Buch

96.29 €

In den Warenkorb
Erschienen am 04.07.2018
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
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
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
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)
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
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
Logic Programming

Logic Programming

0 Sterne
Buch

106.99 €

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

Verification, Model Checking, and Abstract Interpretation

0 Sterne
Buch

79.18 €

In den Warenkorb
Erschienen am 10.01.2018
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
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
Weitere Empfehlungen zu „Abstract State Machines, Alloy, B, TLA, VDM, and Z “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Abstract State Machines, Alloy, B, TLA, VDM, and Z“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich