Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- עמודים
- 434
- ISBN
- 9783540446675
מקור הנתונים: Wikidata
עוד של Ed Brinksma
Computer aided verificationEd Brinksma
Computer aided verification
Ed Brinksma · 2002
Tools and Algorithms for the Construction and Analysis of SystemsEd Brinksma
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma · 1997
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
Ed Brinksma · 1995