Lifestyle
Khazanah
Profil Baru
Dram Lists
Ensiklopedia
Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics
S1 Information Systems
S1 Information Technology
S1 Computer Engineering
S1 Electrical Engineering
S1 Civil Engineering
faculty of Economics and Business
S1 Management
S1 Accountancy
Faculty of Letters and Educational Sciences
S1 English literature
S1 English language education
S1 Mathematics education
S1 Sports Education
Registerasi
Brosur UTI
Kip Scholarship Information
Performance
Weltenzyklopädie
Catégorie:Personnalité en méthodes formelles — Wikipédia
Search
Catégorie:Personnalité en méthodes formelles — Wikipédia
Aide
Une page de Wikipédia, l'encyclopédie libre.
Pages dans la catégorie « Personnalité en méthodes formelles »
Cette catégorie contient les 38 pages suivantes.
Outils :
Arborescence
Graphique
Recherche interne
PetScan
Suivi
A
Samson Abramsky
Jean-Raymond Abrial
Rajeev Alur
B
Egon Börger
Jonathan Bowen
Stephen D. Brookes
C
Edmund M. Clarke
Patrick Cousot
Radhia Cousot
D
Ole-Johan Dahl
David L. Dill
E
Allen Emerson
F
Robert Floyd
Robert France
G
Georges Gonthier
H
David Harel
Mark Harman
Thomas Henzinger
Charles Antony Richard Hoare
Gerard J. Holzmann
J
Michael A. Jackson
Mathai Joseph
K
Joost-Pieter Katoen
Stephen Cole Kleene
Donald Knuth
Marta Kwiatkowska
L
Nancy Leveson
M
Anca Muscholl
O
Peter O'Hearn
P
Amir Pnueli
R
John C. Reynolds
John Alan Robinson
S
Arthur Samuel
Joseph Sifakis
V
Helmut Veith
W
Benjamin Werner
Jeannette Wing
Martin Wirsing
Catégories
:
Méthode formelle
Personnalité de l'informatique
14 bahasa
indonesia
Polski
العربية
Deutsch
English
Español
Français
Italiano
مصرى
Nederlands
日本語
Português
Sinugboanong Binisaya
Svenska
Українська
Tiếng Việt
Winaray
中文
Русский
Sunting pranala