Overslaan en naar de inhoud gaan
Achtergrond PRO
6 februari 2008 leestijd 1 minuut 0 reacties

'Nobelprijs' informatica naar model checking

De officieuze 'Nobelprijs' voor Informatica, de Turing Award, is voor 2007 gewonnen door drie wetenschappers voor hun werk op het gebied van model checking. Aan de Turing Award is een prijs van 250.000 dollar verbonden.
Redactie AG Connect
Redactie AG ConnectMeer van deze auteur
Business
Shutterstock
Shutterstock

Lees dit PRO artikel gratis

Maak een gratis account aan en geniet van alle voordelen:

  • Toegang tot 3 PRO artikelen per maand
  • Inclusief CTO interviews, podcasts, digitale specials en whitepapers
  • Blijf up-to-date over de laatste ontwikkelingen in en rond tech
Word gratis lid en lees verder

Bevestig jouw e-mailadres

We hebben de bevestigingsmail naar %email% gestuurd.

Geen bevestigingsmail ontvangen? Controleer je spam folder. Niet in de spam, klik dan hier om een account aan te maken.

Er is iets mis gegaan

Helaas konden we op dit moment geen account voor je aanmaken. Probeer het later nog eens.

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in