VerificationNachum Dershowitz
Verification
Nachum Dershowitz · 2004
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2004
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 783
- ISBN
- 9783540210023
מקור הנתונים: Wikidata
עוד של Nachum Dershowitz
Language, Culture, Computation : Computational Linguistics and LinguisticsNachum Dershowitz
Language, Culture, Computation : Computational Linguistics and Linguistics
Nachum Dershowitz · 2014
Calendrical calculationsNachum Dershowitz
Calendrical calculations
Nachum Dershowitz · 1997
Language, Culture, Computation : Computing - Theory and TechnologyNachum Dershowitz
Language, Culture, Computation : Computing - Theory and Technology
Nachum Dershowitz · 2014
Language, Culture, Computation : Computing for the Humanities, Law, and NarrativesNachum Dershowitz
Language, Culture, Computation : Computing for the Humanities, Law, and Narratives
Nachum Dershowitz · 2014
Rewriting Techniques and ApplicationsNachum Dershowitz
Rewriting Techniques and Applications
Nachum Dershowitz · 1989
Verification : Theory and PracticeNachum Dershowitz
Verification : Theory and Practice
Nachum Dershowitz · 2004
Evolution of Programmes (Progress in Computer Science)Nachum Dershowitz
Evolution of Programmes (Progress in Computer Science)
Nachum Dershowitz · 1984