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

Formal Aspects of Computing

Ausgabe 6/2010

Inhalt (5 Artikel)

Obituary

Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s

David Harel

Original Article

Lower bounds on lengths of checking sequences

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Ji Chao Zhang

Original Article

Translating FSP into LOTOS and networks of automata

Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee

Original Article

A lazy approach to symmetry reduction

Thomas Wahl, Vijay D’Silva

Original Article

Inter-process buffers in separation logic with rely-guarantee

Richard Bornat, Hasan Amjad

Sep 10
Ausgabe: 5/2010
Jan 11
Ausgabe: 1/2011

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr