Formal Verification and Automated analysis of Software Product Lines

Buch | Softcover

160 Seiten

2023
Mohd Abdul Hafi (Verlag)
979-8-223-34516-9 (ISBN)

Erscheinungsdatum	28.12.2023
Sprache	englisch
Maße	216 x 279 mm
Gewicht	386 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
ISBN-13	979-8-223-34516-9 / 9798223345169
Zustand	Neuware

Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?

Mehr entdecken
aus dem Bereich

von Bernhard Esslinger

Buch | Softcover (2025)

Lehmanns Media (Verlag)

CHF 62,⁹⁵

die Welt der generativen KI verstehen

von Daniel Scholz

Buch | Hardcover (2025)

Hanser (Verlag)

CHF 48,⁹⁵

Eine Einführung

von Thomas H. Cormen; Charles E. Leiserson; Ronald Rivest

Buch | Hardcover (2025)

De Gruyter Oldenbourg (Verlag)

CHF 179,⁹⁵

Sie befinden sich hier: