Startseite
Über uns
Geschichten
Katalog
Medien
Startseite
Katalog
Autoren
Natarajan Shankar
Natarajan Shankar
Eine Liste von Autoren mit Biografien, Lebensdaten und späteren Sammlungen aller Bücher.
Bücher des Autors
4
Verified Software : Theories, Tools, Experiments
Automated Formal Methods
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Automated Reasoning
