Domain ngdn.de kaufen?
Wir ziehen mit dem Projekt
ngdn.de um.
Sind Sie am Kauf der Domain
ngdn.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain ngdn.de kaufen?
Ähnliche Suchbegriffe für Springer-Soeken-Formal-Specification
Top-Angebote
Produkte zum Begriff Springer-Soeken-Formal-Specification:
-
Springer Foundations of Algebraic Specification and Formal Software Development (Englisch, Softcover, Andrzej Tarlecki, Donald Sannella) (55549432)Springer Foundations of Algebraic Specification and Formal Software Development (Englisch, Softcover, Andrzej Tarlecki, Donald Sannella) (55549432)128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
B 2007: Formal Specification and Develo, Fachbücher von Olga Kouchnarenko, Jacques JulliandDas Fachbuch "B 2007: Formal Specification and Development in B" dokumentiert die Beiträge der siebten Internationalen Konferenz der B-Nutzer, die in Besançon, Frankreich, stattfand. Diese Konferenz baute auf den Erfolgen der vorherigen Veranstaltungen auf und brachte Fachleute aus verschiedenen Ländern zusammen, um über formale Spezifikationen und deren Entwicklung zu diskutieren. Die Beiträge wurden von Experten aus der Industrie und der Wissenschaft präsentiert und durchliefen einen strengen Peer-Review-Prozess. Das Buch bietet wertvolle Einblicke in die Anwendung der B-Spezifikationssprache und deren Relevanz für die Softwareentwicklung. Es ist ein unverzichtbares Werk für alle, die sich mit formalen Methoden in der Informatik beschäftigen und die neuesten Entwicklungen in diesem Bereich verfolgen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (57117189)Springer Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (57117189)85,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Ana Cavalli, Elie Najm, Stan Budkowski) (55530691)Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Ana Cavalli, Elie Najm, Stan Budkowski) (55530691)213,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Atsushi Togashi, Norio Shiratori, Tadanori Mizuno, Teruo Higashino) (55539105)
Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Atsushi Togashi, Norio Shiratori, Tadanori Mizuno, Teruo Higashino) (55539105)
213,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-Soeken-Formal-Specification:
-
Springer Foundations of Algebraic Specification and Formal Software Development (Englisch, Softcover, Andrzej Tarlecki, Donald Sannella) (55549432)Springer Foundations of Algebraic Specification and Formal Software Development (Englisch, Softcover, Andrzej Tarlecki, Donald Sannella) (55549432)128,39 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
B 2007: Formal Specification and Develo, Fachbücher von Olga Kouchnarenko, Jacques JulliandDas Fachbuch "B 2007: Formal Specification and Development in B" dokumentiert die Beiträge der siebten Internationalen Konferenz der B-Nutzer, die in Besançon, Frankreich, stattfand. Diese Konferenz baute auf den Erfolgen der vorherigen Veranstaltungen auf und brachte Fachleute aus verschiedenen Ländern zusammen, um über formale Spezifikationen und deren Entwicklung zu diskutieren. Die Beiträge wurden von Experten aus der Industrie und der Wissenschaft präsentiert und durchliefen einen strengen Peer-Review-Prozess. Das Buch bietet wertvolle Einblicke in die Anwendung der B-Spezifikationssprache und deren Relevanz für die Softwareentwicklung. Es ist ein unverzichtbares Werk für alle, die sich mit formalen Methoden in der Informatik beschäftigen und die neuesten Entwicklungen in diesem Bereich verfolgen möchten.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Soeken-Formal-Specification
-
Springer Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (57117189)Springer Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verificati (Englisch, Softcover, Bernhard Steffen, Tiziana Margaria) (57117189)85,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Ana Cavalli, Elie Najm, Stan Budkowski) (55530691)Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Ana Cavalli, Elie Najm, Stan Budkowski) (55530691)213,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Atsushi Togashi, Norio Shiratori, Tadanori Mizuno, Teruo Higashino) (55539105)Springer Formal Description Techniques and Protocol Specification, Testing and Verification (Englisch, Softcover, Atsushi Togashi, Norio Shiratori, Tadanori Mizuno, Teruo Higashino) (55539105)213,99 €*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.