Von dem Buch Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Pitt, Martin: Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (ISBN: 9783836463003) 2008, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Pitt, Martin: Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (German Edition) (ISBN: 9783639437683) 2012, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware
13 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2019 | 2023 |
|---|---|---|---|---|---|
| Schnitt | € 49,00 | € 49,00 | € 49,00 | € 49,00 | € 72,71 |
| Nachfrage |
1
Automatische Generierung und Abstraktion von Prozessmodellen
DE NWISBN: 9783836463003 bzw. 3836463008, in Deutsch, VDM, neu.
Lieferung aus: Schweiz, in stock.
Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die Zustandsexplosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen. Martin Pitt, 24.2 cm x 16.9 cm x 1.4 cm mm, Buch.
Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die Zustandsexplosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen. Martin Pitt, 24.2 cm x 16.9 cm x 1.4 cm mm, Buch.
2
Symbolbild
Automatische Generierung und Abstraktion von Prozessmodellen (2012)
DE PB NW RPISBN: 9783639437683 bzw. 3639437683, in Deutsch, VDM Verlag Dr. Müller, Saarbrücken, Deutschland, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. - Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C sharp-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ('bisimulares') Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen. 64 pp. Deutsch.
This item is printed on demand - Print on Demand Titel. - Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C sharp-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ('bisimulares') Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen. 64 pp. Deutsch.
3
Symbolbild
Automatische Generierung und Abstraktion von Prozessmodellen (2012)
DE PB NW RPISBN: 9783639437683 bzw. 3639437683, in Deutsch, Av Akademikerverlag Jul 2012, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. - Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C sharp-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ('bisimulares') Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen. 64 pp. Deutsch.
This item is printed on demand - Print on Demand Titel. - Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C sharp-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ('bisimulares') Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen. 64 pp. Deutsch.
4
Automatische Generierung und Abstraktion von Prozessmodellen
DE PB NWISBN: 9783639437683 bzw. 3639437683, in Deutsch, Av Akademikerverlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen.64 S.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen.64 S.Versandfertig in 3-5 Tagen, Softcover.
5
Automatische Generierung und Abstraktion von Prozessmodellen
DE PB NWISBN: 9783639437683 bzw. 3639437683, in Deutsch, Av Akademikerverlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen.64 S.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
Inhaltlich unveränderte Neuauflage. Elektronische Steuerungsanlagen durchdringen heutzutage unseren Alltag, von der Waschmaschine über automatische Fenster- und Heizungssteuerungen im Heimbereich bis zu Bremssystemen in Fahrzeugen. Deshalb wird es immer wichtiger, die Korrektheit der immer komplexer werdenden Steuerungen formal modellieren, testen, und verifizieren zu können. Am Beispiel der Steuerungssoftware von LON-Feldbussystemen beschreibt und implementiert der Autor Martin Pitt die automatische Generierung formaler Prozessmodelle aus dem C#-Quellcode. Um die Zustand***plosion bei der formalen Verifikation zu lindern, werden oft Abstraktionen der ursprünglichen konkreten Modelle verwendet. Der Autor stellt einen Formalismus inkl. Implementierung vor, welcher abstrakte und konkrete Modelle auf gleiches ("bisimulares") Verhalten überprüft, so dass die formale Verifikation von gewünschten Eigenschaften durchführbar wird. Diese Arbeit richtet sich an Software-Entwickler mikroprozessorgesteuerter Steuerungsanlagen, die Kenntnisse in Algebra und mathematischer Logik besitzen.64 S.Versandfertig in 3-5 Tagen, Softcover.
6
Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (2008)
DE PB NWISBN: 9783836463003 bzw. 3836463008, in Deutsch, 60 Seiten, Vdm Verlag Dr. Müller, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Broschiert, Label: Vdm Verlag Dr. Müller, Vdm Verlag Dr. Müller, Produktgruppe: Book, Publiziert: 2008-02, Studio: Vdm Verlag Dr. Müller, Verkaufsrang: 5631572.
Von Händler/Antiquariat, Amazon.de.
Broschiert, Label: Vdm Verlag Dr. Müller, Vdm Verlag Dr. Müller, Produktgruppe: Book, Publiziert: 2008-02, Studio: Vdm Verlag Dr. Müller, Verkaufsrang: 5631572.
7
Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (2008)
DE PB NWISBN: 9783836463003 bzw. 3836463008, in Deutsch, 60 Seiten, Vdm Verlag Dr. Müller, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Broschiert, Label: Vdm Verlag Dr. Müller, Vdm Verlag Dr. Müller, Produktgruppe: Book, Publiziert: 2008-02, Studio: Vdm Verlag Dr. Müller, Verkaufsrang: 6052298.
Von Händler/Antiquariat, Amazon.de.
Broschiert, Label: Vdm Verlag Dr. Müller, Vdm Verlag Dr. Müller, Produktgruppe: Book, Publiziert: 2008-02, Studio: Vdm Verlag Dr. Müller, Verkaufsrang: 6052298.
8
Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (2008)
DE PB NWISBN: 9783836463003 bzw. 3836463008, in Deutsch, 60 Seiten, Vdm Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (2008)
DE PB NWISBN: 9783836463003 bzw. 3836463008, in Deutsch, 60 Seiten, Vdm Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Automatische Generierung und Abstraktion von Prozessmodellen: am Beispiel von C# Steuerungssoftware (2008)
DE PB NWISBN: 9783836463003 bzw. 3836463008, in Deutsch, 60 Seiten, Vdm Verlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…