Automated Technology for Verification and Analysis Jun Sun
80,24 €
Titel: Automated Technology for Verification and Analysis, Untertitel: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, Einband: Taschenbuch, Autor: Jun Sun, Verlag: Springer Nature Switzerland, Springer Nature Switzerland, Sprache: Englisch, Seiten: 348, Maße: 235x155x19 mm, Gewicht: 528 g, Verkäufer: buch-mimpf, Schlagworte: Automated Technology Automated tool support Formalisms for modeling hardware, software and embedded systems Verification and analysis formal methods program analysis security.
Jetzt bei Ebay:
