Computer aided verificationKim Guldstrand Larsen
Computer aided verification
Kim Guldstrand Larsen · 1992
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1992
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 487
- ISBN
- 9783540551799
מקור הנתונים: Wikidata
עוד של Kim Guldstrand Larsen
Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen
Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen · 2019
Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen
Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen · 2017