Automata, Languages and ProgrammingKim G. Larsen
Automata, Languages and Programming
Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos · 1998
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1998
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 932
- ISBN
- 9783540647812
מקור הנתונים: Wikidata
עוד של Kim G. Larsen
Formal Modeling and Analysis of Timed SystemsKim G. Larsen
Formal Modeling and Analysis of Timed Systems
Kim G. Larsen · 2004
CONCUR 2001 - Concurrency TheoryKim G. Larsen
CONCUR 2001 - Concurrency Theory
Kim G. Larsen · 2003
Computer Aided Verification: 3rd International Workshop, Cav 92Kim G. Larsen
Computer Aided Verification: 3rd International Workshop, Cav 92
Kim G. Larsen · 1992