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

Eiskalt sparen!
15%¹ Rabatt + GRATIS Versand

Modeling and Verification of Parallel Processes

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Modeling and Verification of Parallel Processes".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware...
Mehr zum Inhalt Video Inhaltsverzeichnis
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2550831

Buch 45.96 €
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2550831

Buch 45.96 €
Jetzt vorbestellen
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-15%
Lecture Notes in Computer Science: Modeling and Verification of Parallel Processes

Lecture Notes in Computer Science: Modeling and Verification of Parallel Processes

0 Sterne
eBook

Statt 45.96 € 19

39.13 €

Erschienen am 29.06.2003
Leider schon ausverkauft
Parallel Image Processing

Parallel Image Processing

Thomas Bräunl

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 04.12.2000
lieferbar
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

85.59 €

Vorbestellen
Erschienen am 20.08.1999
Voraussichtlich lieferbar in 3 Tag(en)
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 05.12.2001
Voraussichtlich lieferbar in 3 Tag(en)
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

96.29 €

Vorbestellen
Erschienen am 26.01.1995
Voraussichtlich lieferbar in 3 Tag(en)
CONCUR 2006 -- Concurrency Theory

CONCUR 2006 -- Concurrency Theory

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 10.08.2006
lieferbar
Exploitation of Fine-Grain Parallelism

Exploitation of Fine-Grain Parallelism

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 18.07.1995
Voraussichtlich lieferbar in 3 Tag(en)
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

123.04 €

Vorbestellen
Erschienen am 28.01.1994
Voraussichtlich lieferbar in 3 Tag(en)
OpenACC for Programmers

OpenACC for Programmers

Sunita Chandrasekaran, Guido Juckeland

0 Sterne
Buch

44.93 €

In den Warenkorb
Erschienen am 28.09.2017
lieferbar
Visualization of Scientific Parallel Programs

Visualization of Scientific Parallel Programs

Gerald Tomas, Christoph W. Überhuber

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 28.02.1994
Voraussichtlich lieferbar in 3 Tag(en)
Compiler Optimizations for Scalable Parallel Systems

Compiler Optimizations for Scalable Parallel Systems

0 Sterne
Buch

93.04 €

Vorbestellen
Erschienen am 18.04.2001
Voraussichtlich lieferbar in 3 Tag(en)
Recent Advances in Parallel Virtual Machine and Message Passing Interface

Recent Advances in Parallel Virtual Machine and Message Passing Interface

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 30.08.2000
Voraussichtlich lieferbar in 3 Tag(en)
Applied Parallel Computing. Industrial Computation and Optimization

Applied Parallel Computing. Industrial Computation and Optimization

0 Sterne
Buch

139.09 €

Vorbestellen
Erschienen am 11.12.1996
Voraussichtlich lieferbar in 3 Tag(en)
Parallel Computer Routing and Communication

Parallel Computer Routing and Communication

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 28.09.1994
Voraussichtlich lieferbar in 3 Tag(en)
Parallel Computing 1988

Parallel Computing 1988

0 Sterne
Buch

64.19 €

Vorbestellen
Erschienen am 06.09.1989
Voraussichtlich lieferbar in 3 Tag(en)
Euro-Par '96 - Parallel Processing: Vol.2

Euro-Par '96 - Parallel Processing: Vol.2

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 14.08.1996
lieferbar
Euro-Par '96 - Parallel Processing: Vol.1

Euro-Par '96 - Parallel Processing: Vol.1

0 Sterne
Buch

123.04 €

In den Warenkorb
Erschienen am 14.08.1996
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. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Produktdetails
Produktinformationen zu „Modeling and Verification of Parallel Processes “
Klappentext zu „Modeling and Verification of Parallel Processes “
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.
Inhaltsverzeichnis zu „Modeling and Verification of Parallel Processes “
Tutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Verification.- Composition and Abstraction.- UPPAAL - Now, Next, and Future.- HMSCs as Partial Specifications...with PNs as Completions.- Industrial Applications of Model Checking.- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.- Annotated Bibliographies.- Verification of Systems with an Infinite State Space.- Testing Transition Systems: An Annotated Bibliography.- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.- Mobile Processes: A Commented Bibliography.
Bibliographische Angaben

  • 2001, 2001, 236 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Verlag: Springer, Berlin
  • ISBN-10: 3540427872
  • ISBN-13: 9783540427872
  • Erscheinungsdatum: 24.10.2001

Sprache:
Englisch
Kommentar zu "Modeling and Verification of Parallel Processes"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Modeling and Verification of Parallel Processes".

Kommentar verfassen
Andere Kunden kauften auch
Parallel Image Processing

Parallel Image Processing

Thomas Bräunl

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 04.12.2000
lieferbar
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

85.59 €

Vorbestellen
Erschienen am 20.08.1999
Voraussichtlich lieferbar in 3 Tag(en)
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 05.12.2001
Voraussichtlich lieferbar in 3 Tag(en)
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

96.29 €

Vorbestellen
Erschienen am 26.01.1995
Voraussichtlich lieferbar in 3 Tag(en)
CONCUR 2006 -- Concurrency Theory

CONCUR 2006 -- Concurrency Theory

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 10.08.2006
lieferbar
Exploitation of Fine-Grain Parallelism

Exploitation of Fine-Grain Parallelism

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 18.07.1995
Voraussichtlich lieferbar in 3 Tag(en)
Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

0 Sterne
Buch

123.04 €

Vorbestellen
Erschienen am 28.01.1994
Voraussichtlich lieferbar in 3 Tag(en)
OpenACC for Programmers

OpenACC for Programmers

Sunita Chandrasekaran, Guido Juckeland

0 Sterne
Buch

44.93 €

In den Warenkorb
Erschienen am 28.09.2017
lieferbar
Visualization of Scientific Parallel Programs

Visualization of Scientific Parallel Programs

Gerald Tomas, Christoph W. Überhuber

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 28.02.1994
Voraussichtlich lieferbar in 3 Tag(en)
Compiler Optimizations for Scalable Parallel Systems

Compiler Optimizations for Scalable Parallel Systems

0 Sterne
Buch

93.04 €

Vorbestellen
Erschienen am 18.04.2001
Voraussichtlich lieferbar in 3 Tag(en)
Recent Advances in Parallel Virtual Machine and Message Passing Interface

Recent Advances in Parallel Virtual Machine and Message Passing Interface

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 30.08.2000
Voraussichtlich lieferbar in 3 Tag(en)
Applied Parallel Computing. Industrial Computation and Optimization

Applied Parallel Computing. Industrial Computation and Optimization

0 Sterne
Buch

139.09 €

Vorbestellen
Erschienen am 11.12.1996
Voraussichtlich lieferbar in 3 Tag(en)
Parallel Computer Routing and Communication

Parallel Computer Routing and Communication

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 28.09.1994
Voraussichtlich lieferbar in 3 Tag(en)
Parallel Computing 1988

Parallel Computing 1988

0 Sterne
Buch

64.19 €

Vorbestellen
Erschienen am 06.09.1989
Voraussichtlich lieferbar in 3 Tag(en)
Euro-Par '96 - Parallel Processing: Vol.2

Euro-Par '96 - Parallel Processing: Vol.2

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 14.08.1996
lieferbar
Euro-Par '96 - Parallel Processing: Vol.1

Euro-Par '96 - Parallel Processing: Vol.1

0 Sterne
Buch

123.04 €

In den Warenkorb
Erschienen am 14.08.1996
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. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification

0 Sterne
Buch

79.17 €

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Weitere Empfehlungen zu „Modeling and Verification of Parallel Processes “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Modeling and Verification of Parallel Processes“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung