Your search returned 13 results. Subscribe to this search

|
1. Thèses Analyse de complexité des programmes [ [Texte imprimé]] : vérification et inférence / Vincent DornicPublication : Paris : ENSMP, 1992Description : 103 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.140 CCL.TH.701] (2).
2. Thèses Application des méthodes d'ordre partiel aux équivalences comportementales des systèmes concurrents / Monica Robert-Lara de Souza, Monica Robert-Lara de SouzaPublication : Sophia-Antipolis : ENSMP, 1995Description : 105 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 143.849 CCL.TH.819] (2). Copies available for reference: Sophia Antipolis[EMS T-CMA-0037] (1).
3.  Monographies, textes Construction et vérification de programmes [] / Roland C. Backhouse,... ; trad. par René QuiniouTranslation of : , Program construction and verification[Texte imprimé] / Roland C. Backhouse = c1986Publication : Paris : Masson, London : Prentice Hall, 1989, 53-Mayenne : Impr. FlochDescription : 1 vol. (276 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 110.131] (1), Sophia Antipolis[EMS 110-C03/N 2845] (1).
4. Mémoires, thèses professionnelles [Dédoublonnage de la base personnes] [ [Texte imprimé]] / Tarik Belhaj SoulamiPublication : ENSMP, 2000Description : 49 f. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 148.534 CCL.5780] (2).
5. Thèses / {A. Bouali}Etudes et mises en oeuvre d'outils de vérification basée sur la bisimulationPublication : Paris : Université de Paris 7, 1993Description : 152 p. : Ill. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 141.748 CCL.TH.736] (2). Copies available for reference: Sophia Antipolis[EMS-T-CMA-0028] (1).
6.  Monographies, textes Intercomparison of Forecast Models for Streamflow Routing in Large Rivers / P. Serban, N.L. Crookshank, D.H. WillisPublication : Genève : World meteorological organization, 2004Description : 1 vol. (VII-166 p.) ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[EMF 21528-8] (1).
7. Thèses Mémoires actives programmables / Patrice Bertin : conception, réalisation et programmation, Patrice BertinPublication : Paris : Université de Paris 7, 1993Description : 143 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 152.928 CCL.TH.1122] (1).
8.  Monographies, textes Methods for verification of hydrological forecasts / by Wang JuemouPublication : Genève : World meteorological organization, 1994Description : 1 vol. (15 p.) ; 30 cmAvailability: Copies available for loan: Bib. Fontainebleau[551.57 JUE m] (1).
9. Préservation des preuves et transformation de programmes [] / par César Kunz ; sous la direction de Gilles BarthePublication : 2009Description : 1 vol. (165 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 160.067 CCL.TH. 1237] (2).
10.  Monographies, textes / Ranan FraerTracing of origins of verification conditions, Ranan FraerPublication : Le Chesnay : Institut national de recherche en informatique et en automatique, 1996Description : 17 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 113 (2840)] (1).
11. Thèses Vérification automatique de programmes Esterel / {V. Lecompte}Publication : Sophia-Antipolis : ENSMP, 1989Description : 161 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 138.811 CCL.TH.625] (2).
12. Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code / par Thi Viet Nga Nguyen ; sous la dir. de François IrigoinPublication : 2002Description : 1 vol. (189 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.759 CCL.TH.1063] (2). Copies available for reference: Centre de recherche en informatique[02 NGU] (1).
13.  Monographies, textes / Amar Bouali, Jean-Paul Marmorat, Horia Toma [et al.]Verifying synchronous reactive systems programmed in ESTEREL, Amar Bouali, Jean-Paul Marmorat, Horia Toma [et al.]Publication : ENSMP, 1996Description : [P. 463-466]Availability: Copies available for loan: Bib. Paris[EMP 145.101 CCL.5683] (1).

Powered by Koha