Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 45 Treffer.


Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Shaker, Auflage 1, 273 Seiten

Erscheinungsdatum: 31.07.2006

49,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

On Foundational Frames for Formal Modelling

Sets, epsilon-Sets and a Model of Conception

Produktform: Buch

Verlag: Shaker, Auflage 1, 154 Seiten

Erscheinungsdatum: 13.08.2009

45,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

WoLFram - A Word Level Framework for Formal Verification and its Application

Produktform: Buch

Verlag: Shaker, Auflage 1, 198 Seiten

Erscheinungsdatum: 28.02.2010

48,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Machine Learning-based Predictive Quality in Manufacturing Processes

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Shaker, Auflage 1, 177 Seiten

Erscheinungsdatum: 24.08.2023

48,80 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Semi-Automated Refinement of Semantic Models

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Shaker, Auflage 1, 227 Seiten

Erscheinungsdatum: 11.11.2024

59,80 € inkl. MwSt.
kostenloser Versand

vorbestellbar

zum Artikel