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!

Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Structured Object-Oriented Formal Language and Method".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.
The 13 papers presented in this volume were carefully...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 85086353

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

Bestellnummer: 85086353

Buch 60.49 €
In den Warenkorb
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.
The 13 papers presented in this volume were carefully...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Structured Object-Oriented Formal Language and Method / Lecture Notes in Computer Science Bd.10189
Bd. 10189

Structured Object-Oriented Formal Language and Method / Lecture Notes in Computer Science Bd.10189

0 Sterne
eBook

60.50 €

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

Break-Glass

Helmut Petritsch

0 Sterne
Buch

71.95 €

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

Computational Science - ICCS 2001

0 Sterne
Buch

142.99 €

In den Warenkorb
Erschienen am 24.05.2001
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

76.99 €

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

Computer and Information Sciences - ISCIS 2003

0 Sterne
Buch

142.99 €

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

Computer and Information Sciences - ISCIS 2005

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Sterne
Buch

54.99 €

Vorbestellen
Erschienen am 14.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

54.99 €

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

Computer and Information Sciences - ISCIS 2004

0 Sterne
Buch

186.99 €

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

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

54.99 €

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

Principles and Practice of Constraint Programming

0 Sterne
Buch

107.79 €

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Algorithmic Adventures

Algorithmic Adventures

Juraj Hromkovic

0 Sterne
Buch

41.79 €

In den Warenkorb
Erschienen am 07.07.2009
lieferbar
Reliable Distributed Systems

Reliable Distributed Systems

Kenneth P. Birman

0 Sterne
Buch

109.99 €

In den Warenkorb
lieferbar
Informatik-Bausteine

Informatik-Bausteine

Walter Hower

0 Sterne
Buch

28.77 €

In den Warenkorb
Erschienen am 03.07.2019
lieferbar
Algorithmic Aspects in Information and Management

Algorithmic Aspects in Information and Management

0 Sterne
Buch

82.49 €

In den Warenkorb
Erschienen am 05.07.2010
lieferbar
Information Security and Privacy

Information Security and Privacy

0 Sterne
Buch

76.99 €

In den Warenkorb
Erschienen am 01.07.2011
lieferbar
Systems and Software Verification

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

131.99 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
High Performance Computing

High Performance Computing

0 Sterne
Buch

107.79 €

In den Warenkorb
lieferbar
EurAsia-ICT 2002: Information and Communication Technology

EurAsia-ICT 2002: Information and Communication Technology

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 09.10.2002
lieferbar
Produktdetails
Produktinformationen zu „Structured Object-Oriented Formal Language and Method “
Klappentext zu „Structured Object-Oriented Formal Language and Method “
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.
The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
Inhaltsverzeichnis zu „Structured Object-Oriented Formal Language and Method “
Modeling and Specification.- Orchestration Combinators in Apla+ Language.- On Termination and Boundedness of Nested Updatable Timed Automata.- Instant-based and State-based Analysis of Infinite Logical Clock.- Animation and Prototyping.- Automated Safety Analysis on Scenario-based Requirements for Train Control System.- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications.- Formal Development of Linear Structure Reusable Components in PAR Platform.- Verification and Validation.- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet.- A Proof System for MSVL Programs in Coq.- Runtime Verification Monitor Construction for Three-valued PPTL.- Applying SOFL to a Railway Interlocking System in Industry.
Bibliographische Angaben

  • 2017, 1st ed. 2017, 239 Seiten, 71 Schwarz-Weiß-Abbildungen, Maße: 15,9 x 23,6 cm, Kartoniert (TB), Englisch
  • Herausgegeben von Liu, Shaoying; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko
  • Verlag: Springer
  • ISBN-10: 3319577077
  • ISBN-13: 9783319577074
  • Erscheinungsdatum: 21.04.2017

Sprache:
Englisch
Kommentar zu "Structured Object-Oriented Formal Language and Method"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Structured Object-Oriented Formal Language and Method".

Kommentar verfassen
Andere Kunden kauften auch
Break-Glass

Break-Glass

Helmut Petritsch

0 Sterne
Buch

71.95 €

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

Computational Science - ICCS 2001

0 Sterne
Buch

142.99 €

In den Warenkorb
Erschienen am 24.05.2001
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

76.99 €

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

Computer and Information Sciences - ISCIS 2003

0 Sterne
Buch

142.99 €

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

Computer and Information Sciences - ISCIS 2005

0 Sterne
Buch

164.99 €

In den Warenkorb
Erschienen am 17.10.2005
lieferbar
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

0 Sterne
Buch

54.99 €

Vorbestellen
Erschienen am 14.04.2018
Voraussichtlich lieferbar in 3 Tag(en)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

54.99 €

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

Computer and Information Sciences - ISCIS 2004

0 Sterne
Buch

186.99 €

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

Tools and Algorithms for the Construction and Analysis of Systems

0 Sterne
Buch

54.99 €

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

Principles and Practice of Constraint Programming

0 Sterne
Buch

107.79 €

In den Warenkorb
Erschienen am 17.09.2018
lieferbar
Algorithmic Adventures

Algorithmic Adventures

Juraj Hromkovic

0 Sterne
Buch

41.79 €

In den Warenkorb
Erschienen am 07.07.2009
lieferbar
Reliable Distributed Systems

Reliable Distributed Systems

Kenneth P. Birman

0 Sterne
Buch

109.99 €

In den Warenkorb
lieferbar
Informatik-Bausteine

Informatik-Bausteine

Walter Hower

0 Sterne
Buch

28.77 €

In den Warenkorb
Erschienen am 03.07.2019
lieferbar
Informatik-Bausteine

Informatik-Bausteine

Walter Hower

0 Sterne
eBook

19.99 €

Download bestellen
Erschienen am 27.06.2019
sofort als Download lieferbar
Algorithmic Aspects in Information and Management

Algorithmic Aspects in Information and Management

0 Sterne
Buch

82.49 €

In den Warenkorb
Erschienen am 05.07.2010
lieferbar
Information Security and Privacy

Information Security and Privacy

0 Sterne
Buch

76.99 €

In den Warenkorb
Erschienen am 01.07.2011
lieferbar
Systems and Software Verification

Systems and Software Verification

B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, a. petit

0 Sterne
Buch

131.99 €

In den Warenkorb
Erschienen am 20.06.2001
lieferbar
High Performance Computing

High Performance Computing

0 Sterne
Buch

107.79 €

In den Warenkorb
lieferbar
Weitere Empfehlungen zu „Structured Object-Oriented Formal Language and Method “
Weitere Artikel zum Thema
Sie sind aus Deutschland? Structured Object-Oriented Formal Language and Method bei Weltbild.de kaufen.
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich