תמונות העטיפה

Verification, Model Checking, and Abstract Interpretation

Show other versions (1)
שמור ב:
מחבר ראשי: Rayna Dimitrova, Ori Lahav, Sebastian Wolff
פורמט: ספר אלקטרוני
שפה:אנגלית
יצא לאור: Springer Nature, 2024.
גישה מקוונת:Access eBook
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

MARC

LEADER 00000nam a2200000 a 4500
001 17538
005 20261002040014.0
008 261002s2024 o 000 eng
020 |a 978-3-031-50521-8 
100 1 |a Rayna Dimitrova, Ori Lahav, Sebastian Wolff  |9 6340 
245 0 0 |a Verification, Model Checking, and Abstract Interpretation 
260 |b Springer Nature,  |c 2024. 
300 |a 1 online resource 
538 |a Mode of access: World Wide Web. 
856 4 0 |u https://doi.org/10.1007/978-3-031-50521-8  |z Access eBook 
942 |c EBOOK 
999 |c 17538  |d 17538 

פריטים דומים