Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2004 | OriginalPaper | Buchkapitel

Rob Tristan Gerth: 1956–2003

verfasst von : Doron Peled

Erschienen in: Computer Aided Verification

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

On Friday November 28, 2003, computer scientist and logician Rob Gerth died from sudden cardiac arrest. It is impossible to say all that the loss of Rob means to Intel, to the verification community, and to each of us personally.

Nächstes Kapitel Static Program Analysis via 3-Valued Logic
Metadaten
Titel
Rob Tristan Gerth: 1956–2003
verfasst von
Doron Peled
Copyright-Jahr
2004
Verlag
Springer Berlin Heidelberg
Buch
Computer Aided Verification

Print ISBN: 978-3-540-22342-9

Electronic ISBN: 978-3-540-27813-9

Copyright-Jahr: 2004

DOI
https://doi.org/10.1007/978-3-540-27813-9_1

Premium Partner

    Bildnachweise