Automated technology for verification and analysis

Automated technology for verification and analysis Part 2

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 14216
Schlagworte:
Hardware > Software Engineering > Künstliche Intelligenz > Computerarchitektur > Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:xv, 330 Seiten
Illustrationen, Diagramme
ISBN:9783031453311
978-3-031-45331-1
303145331X
3-031-45331-X