|
Leader
|
|
|
00000cz a2200037n 45 0 |
|
001
|
|
|
SUDOC|233125051
(VIAF cluster)
(Authority/Source Record)
|
|
005
|
|
|
202409130129.2 |
|
008
|
|
|
190111 nfazznn||| |a aaa |d |
|
003
|
|
|
SUDOC |
|
035
|
|
|
‡a
(SUDOC)233125051
|
|
035
|
|
|
‡a
0000-0003-4234-5376
|
|
035
|
|
|
‡a
http://viaf.org/viaf/84154981781967740792
|
|
035
|
|
|
‡a
57190032035
|
|
046
|
0 |
|
‡f
19910218
|
|
072
|
|
7 |
‡2
ESR
|
|
100
|
1 |
|
‡a
Parreira Pereira, Mário José,
‡d
1991-....
|
|
400
|
1 |
|
‡a
Pereira, Mário José Parreira
|
|
400
|
1 |
|
‡a
Pereira, Mário
|
|
670
|
|
|
‡a
Tools and Techniques for the Verification of Modular Stateful Code / Mário José Parreira Pereira; sous la direction de Jean-Christophe Filliâtre. Thèse de doctorat: Informatique: Paris Saclay: 2018
|
|
678
|
|
|
‡a
Titulaire d'un doctorat en Informatique (Paris Saclay, 2018)
|
|
910
|
|
|
‡a
outilsettechniquespourlaverificationdeprogrammesimperativesmodulaires
‡A
Outils et techniques pour la vérification de programmes impératives modulaires.
‡l
eng
‡9
1
|
|
910
|
|
|
‡a
toolsandtechniquesfortheverificationofmodularstatefulcode
‡A
Tools and Techniques for the Verification of Modular Stateful Code /
‡l
eng
‡9
1
|
|
919
|
|
|
‡a
toolsandtechniquesfortheverificationofmodularstatefulcode
‡A
Tools and Techniques for the Verification of Modular Stateful Code
‡9
1
|
|
922
|
|
|
‡a
fr
‡b
fr
‡9
1
|
|
930
|
|
|
‡a
mario jose parreira pereira
‡c
Mário José Parreira Pereira; sous la direction de Jean-Christophe Filliâtre.
‡9
1
|
|
940
|
|
|
‡a
eng
‡9
2
|
|
943
|
|
|
‡a
201x
‡9
1
|
|
944
|
|
|
‡a
mm
‡9
1
|
|
950
|
|
|
‡a
filliatre jean christophe
‡A
Filliâtre, Jean-Christophe
‡d
(1971-....).
‡9
1
|
|
950
|
|
|
‡a
leroy xavier
‡A
Leroy, Xavier
‡d
(1968-....;
‡c
informaticien).
‡9
1
|
|
950
|
|
|
‡a
sousa pinto jorge
‡A
Sousa Pinto, Jorge.
‡9
1
|
|
950
|
|
|
‡a
ahrendt wolfgang
‡A
Ahrendt, Wolfgang.
‡9
1
|
|
950
|
|
|
‡a
dubois catherine
‡A
Dubois, Catherine
‡d
(19..-....;
‡c
informaticienne).
‡9
1
|
|
950
|
|
|
‡a
sighireanu mihaela
‡A
Sighireanu, Mihaela
‡d
(1970-....;
‡c
auteure en informatique).
‡9
1
|
|
950
|
|
|
‡a
fribourg laurent
‡A
Fribourg, Laurent
‡d
(1957-....).
‡9
1
|
|
996
|
|
|
‡2
WKP|Q96206613
|
|
996
|
|
|
‡2
WKP|Q60007176
|
|
996
|
|
|
‡2
LC|no2019093198
|
|
996
|
|
|
‡2
BIBSYS|90385632
|
|
996
|
|
|
‡2
WKP|Q57413512
|
|
996
|
|
|
‡2
DNB|188458352
|
|
996
|
|
|
‡2
WKP|Q58339022
|
|
996
|
|
|
‡2
ISNI|0000000068095190
|
|
996
|
|
|
‡2
WKP|Q130815955
|
|
996
|
|
|
‡2
PTBNP|1472257
|
|
996
|
|
|
‡2
NUKAT|n 2019013233
|
|
996
|
|
|
‡2
DNB|1139860763
|
|
996
|
|
|
‡2
ISNI|0000000431353124
|
|
996
|
|
|
‡2
PTBNP|1783126
|
|
996
|
|
|
‡2
LC|nb2010029330
|
|
996
|
|
|
‡2
PTBNP|286423
|
|
996
|
|
|
‡2
PTBNP|195186
|
|
996
|
|
|
‡2
WKP|Q55755829
|
|
996
|
|
|
‡2
NII|DA11596933
|
|
996
|
|
|
‡2
ISNI|0000000500480347
|
|
996
|
|
|
‡2
WKP|Q104138061
|
|
996
|
|
|
‡2
PTBNP|268568
|
|
996
|
|
|
‡2
BLBNB|000606945
|
|
996
|
|
|
‡2
NTA|073019119
|
|
996
|
|
|
‡2
PTBNP|1499886
|
|
996
|
|
|
‡2
BNE|XX1504423
|
|
996
|
|
|
‡2
WKP|Q77332677
|
|
996
|
|
|
‡2
ISNI|0000000069820286
|
|
996
|
|
|
‡2
ISNI|0000000069914602
|
|
996
|
|
|
‡2
PTBNP|1689403
|
|
996
|
|
|
‡2
WKP|Q88419009
|
|
996
|
|
|
‡2
ISNI|0000000068115171
|
|
996
|
|
|
‡2
WKP|Q55187392
|
|
996
|
|
|
‡2
PTBNP|1784866
|
|
996
|
|
|
‡2
NSK|000338847
|
|
996
|
|
|
‡2
RERO|A019047863
|
|
996
|
|
|
‡2
BNC|981058519175106706
|
|
996
|
|
|
‡2
WKP|Q72069457
|
|
996
|
|
|
‡2
PTBNP|1643871
|
|
996
|
|
|
‡2
PTBNP|1898747
|
|
996
|
|
|
‡2
LC|n 80032637
|
|
996
|
|
|
‡2
ISNI|0000000502516657
|
|
996
|
|
|
‡2
BNCHL|10000000000000000059363
|
|
996
|
|
|
‡2
PTBNP|1479324
|
|
996
|
|
|
‡2
PTBNP|88404
|
|
996
|
|
|
‡2
PTBNP|1229352
|
|
996
|
|
|
‡2
WKP|Q90115822
|
|
996
|
|
|
‡2
PTBNP|1404243
|
|
996
|
|
|
‡2
PTBNP|964656
|
|
996
|
|
|
‡2
PTBNP|1121527
|
|
996
|
|
|
‡2
ISNI|0000000024558093
|
|
996
|
|
|
‡2
WKP|Q86870078
|
|
997
|
|
|
‡a
1991 0 lived 0218 0
‡9
1
|
|
999
|
|
|
‡2
SUDOCBIB|233184643
|
