Domain fernsehen-programm.de kaufen?
Wir ziehen mit dem Projekt
fernsehen-programm.de um.
Sind Sie am Kauf der Domain
fernsehen-programm.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain fernsehen-programm.de kaufen?
The Object-Z Specification Language, Fachbücher von Graeme Smith
Die "Object-Z Specification Language" ist ein Fachbuch, das sich mit der objektorientierten Erweiterung der formalen Spezifikationssprache Z beschäftigt. Es bietet eine detaillierte Einführung in die Konzepte von Klassen, Objekten, Vererbung und Polymorphismus, die in Object-Z integriert sind. Durch die Erweiterung der semantischen Basis von Z ermöglicht es die Spezifikation von Systemen als Sammlungen unabhängiger Objekte, die sowohl Selbst- als auch gegenseitige Referenzierungen unterstützen. Das Buch bietet eine umfassende Beschreibung von Object-Z, einschliesslich der Diskussion von semantischen Fragestellungen, Definitionen aller Sprachkonstrukte, Typregeln und weiteren Nutzungsvorschriften. Es dient als wertvolles Nachschlagewerk für Studierende, Forscher und Praktiker, die sich mit der Anwendung von Object-Z vertraut machen möchten.
213,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für The-Object-Z-Specification-Language
Top-Angebote
Produkte zum Begriff The-Object-Z-Specification-Language:
Structured Object-Oriented Formal Language and Method, Fachbücher von Zhenhua Duan, Shaoying Liu
Das Buch "Structured Object-Oriented Formal Language and Method" bietet eine umfassende Sammlung von Beiträgen, die aus den sorgfältig ausgewählten und begutachteten Arbeiten des 4. Internationalen Workshops zu diesem Thema hervorgegangen sind. Der Workshop fand im November 2014 in Luxemburg statt und brachte Experten zusammen, um aktuelle Entwicklungen und Herausforderungen im Bereich der strukturierten objektorientierten formalen Sprachen und Methoden zu diskutieren. In diesem Band sind 12 ausgewählte Papiere enthalten, die aus insgesamt 20 eingereichten Arbeiten stammen. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten wie Testen und Inspektion, Modellprüfung und Animation, Bildung und Verifikation sowie Semantik und Analyse befassen. Diese Struktur ermöglicht es den Lesenden, gezielt auf die für sie relevanten Themen zuzugreifen und sich mit den neuesten Forschungsergebnissen in diesem spezialisierten Bereich auseinanderzusetzen.
42,80 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff The-Object-Z-Specification-Language:
-
The Object-Z Specification Language, Fachbücher von Graeme SmithDie "Object-Z Specification Language" ist ein Fachbuch, das sich mit der objektorientierten Erweiterung der formalen Spezifikationssprache Z beschäftigt. Es bietet eine detaillierte Einführung in die Konzepte von Klassen, Objekten, Vererbung und Polymorphismus, die in Object-Z integriert sind. Durch die Erweiterung der semantischen Basis von Z ermöglicht es die Spezifikation von Systemen als Sammlungen unabhängiger Objekte, die sowohl Selbst- als auch gegenseitige Referenzierungen unterstützen. Das Buch bietet eine umfassende Beschreibung von Object-Z, einschliesslich der Diskussion von semantischen Fragestellungen, Definitionen aller Sprachkonstrukte, Typregeln und weiteren Nutzungsvorschriften. Es dient als wertvolles Nachschlagewerk für Studierende, Forscher und Praktiker, die sich mit der Anwendung von Object-Z vertraut machen möchten.213,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für The-Object-Z-Specification-Language
-
Structured Object-Oriented Formal Language and Method, Fachbücher von Zhenhua Duan, Shaoying LiuDas Buch "Structured Object-Oriented Formal Language and Method" bietet eine umfassende Sammlung von Beiträgen, die aus den sorgfältig ausgewählten und begutachteten Arbeiten des 4. Internationalen Workshops zu diesem Thema hervorgegangen sind. Der Workshop fand im November 2014 in Luxemburg statt und brachte Experten zusammen, um aktuelle Entwicklungen und Herausforderungen im Bereich der strukturierten objektorientierten formalen Sprachen und Methoden zu diskutieren. In diesem Band sind 12 ausgewählte Papiere enthalten, die aus insgesamt 20 eingereichten Arbeiten stammen. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten wie Testen und Inspektion, Modellprüfung und Animation, Bildung und Verifikation sowie Semantik und Analyse befassen. Diese Struktur ermöglicht es den Lesenden, gezielt auf die für sie relevanten Themen zuzugreifen und sich mit den neuesten Forschungsergebnissen in diesem spezialisierten Bereich auseinanderzusetzen.42,80 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.