Parosh Aziz Abdulla
Tools and Algorithms for the Construction and Analysis of Systems
Parosh Aziz Abdulla · 2011
פרטי הספר
- שנה
- 2011
- שפה
- English
- סדרה
- Lecture Notes in Computer Science -- 6605
- הוצאה
- Springer Berlin Heidelberg
- מהדורות
- 1
- ISBN
- 9783642198342
מקור הנתונים: Wikidata
