Formal Verification and Automated analysis of Software Product Lines
Seiten
2023
Mohd Abdul Hafi (Verlag)
979-8-223-34516-9 (ISBN)
Mohd Abdul Hafi (Verlag)
979-8-223-34516-9 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
| 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 |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
Lehmanns Media (Verlag)
CHF 55,95
Interlingua zur Gewährleistung semantischer Interoperabilität in der …
Buch | Softcover (2023)
Springer Fachmedien (Verlag)
CHF 46,15
IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media
Buch | Softcover (2021)
Springer (Verlag)
CHF 41,95
