Programmverifikation
Sequentielle, parallele und verteilte Programme
Krzysztof R. Apt, Ernst-Rudiger Olderog
PDF
ca. 25,25 €
Springer Berlin Heidelberg 
Naturwissenschaften, Medizin, Informatik, Technik / Mathematik
Beschreibung
Weitere Titel von diesem Autor
Weitere Titel in dieser Kategorie
Kundenbewertungen
