Summary goes here

Bibliographische Detailangaben

Format:	Buch
Sprache:	Englisch
Schlagworte:	Parallel processing (Electronic computers) Automatic theorem proving. Automatic theorem proving Dekomposition Partiell korrektes Programm Nebenläufigkeit Programmverifikation Computer programs Parallélisme (informatique)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!