Automated technology for verification and analysis

Automated technology for verification and analysis Part 1

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: ATVA (VerfasserIn)
Weitere Verfasser: André, Étienne (HerausgeberIn), Sun, Jun (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2023
Schriftenreihe:Lecture notes in computer science 14215
Schlagworte:
Konferenzschrift > Künstliche Intelligenz > Software Engineering > Hardware > Computerarchitektur
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:xvi, 446 Seiten
Illustrationen, Diagramme
ISBN:9783031453281
978-3-031-45328-1