Theoretical Foundations of Programming Methodology: Lecture Notes of an Internat
67,86 €
Short Title THEORETICAL FOUNDATIONS OF PRO. - Smoothsort, an Alternative for Sorting in Situ. - A Proof of the Schorr-Waite Algorithm. - Verification of Sequential Programs: Temporal Axiomatization.
Jetzt bei Ebay: