Challenges of Software Verification
Seiten
2024
|
2023
Springer Singapore (Verlag)
978-981-19-9603-0 (ISBN)
Springer Singapore (Verlag)
978-981-19-9603-0 (ISBN)
- Noch nicht erschienen - erscheint am 16.08.2024
- Versandkostenfrei innerhalb Deutschlands
- Auch auf Rechnung
- Verfügbarkeit in der Filiale vor Ort prüfen
- Artikel merken
| Erscheinungsdatum | 27.07.2024 |
|---|---|
| Reihe/Serie | Intelligent Systems Reference Library |
| Zusatzinfo | XV, 264 p. 80 illus., 59 illus. in color. |
| Verlagsort | Singapore |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Technik ► Elektrotechnik / Energietechnik |
| Technik ► Nachrichtentechnik | |
| Schlagworte | Abstract Interpretation • dynamic languages • formal methods • Modular Static Analysis • Semantics • Software engineering • Software Security • Software Verification • static program analysis • String Constraint Solving |
| ISBN-10 | 981-19-9603-2 / 9811996032 |
| ISBN-13 | 978-981-19-9603-0 / 9789811996030 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Kolbenmaschinen - Strömungsmaschinen - Kraftwerke
Buch | Hardcover (2023)
Hanser (Verlag)
49,99 €
