Summary goes here

מידע ביבליוגרפי

פורמט:	ספר
שפה:	אנגלית
נושאים:	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Parallélisme (informatique)
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!