Your search returned 196 results. Subscribe to this search

|
1. Congrès 2nd International workshop on automated program analysis, testing, and verification (WAPATV) : ICSE 2001 workshop 4 / Nigel Tracey, John Penix, Willem C. VisserPublication :1515, Broadway N.Y. 10036, New York : ACM, 2001Description : Pagination aléatoire : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
2. Congrès A brief study in automating proofs based on a refined hoare-logic / {P. Muller, A. Poetzsch-heffter}Publication :Munich (DEU) : Technische Universität München, 1996Description : 14 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2313] (1).
3.  Monographies, textes A computational logic [] / Robert S. Boyer and J Strother MoorePublication :New York : Academic Press, cop. 1979Description : 1 vol. (XIV-397 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3043] (1).
4.  Monographies, textes A discipline of programming [] / Edsger W. Dijkstra,...Publication :Englewood Cliffs N.J : Prentice-Hall, cop. 1976Description : 1 vol. (XVII-217 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1798] (1).
5. Congrès ABOARD AUTO. / {D. Vergamini, D. Simone r.}Publication :ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,24 P. : PR 1 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6443] (1).
6. Articles ABSTRACT IMPLEMENTATIONS AND THEIR CORRECTNESS PROFFS. / {C. Farshid nourani}Publication :New York : ACM, 1983Description : P. 343 A 359 : RF 29 ; 26 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6139] (1).
7. Congrès ABSTRACT PROGRAMMING AND PROGRAM TRANSFORMATION-AN APPROACH TO REUSING PROGRAMS. / {J. Boyle}Publication :S.L. : [s.n.], 1989Description : 01 VOL.,42 P. : PR 4 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6663] (1).
8.  Monographies, textes Algorithmique [] : construction, preuve et évaluation des programmes / par Pierre Berlioux,... Philippe Bizard,...Publication :Paris : Dunod, DL 1983Description : 1 vol. (X-179 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[BER] (2), Sophia Antipolis[EMS 110-C03/N 1894] (1).
9.  Monographies, textes Algorithms, software, and hardware of parallel computers / ed. by J. Miklosko and V.E. Kotov ; with contributions by J. Chudík ... et al.Publication :Berlin (etc.) : Springer, Bratislava : VEDA, 1984Description : 395 p : ill ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIK] (1).
10. Articles AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING. [[Texte imprimé]] / {C. Hoare}Publication :New York : ACM, 1969Description : P. 576 A 580 : RF 9 ; 29 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5089] (1).
11. Articles AN AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS I. [[Texte imprimé]] / {S. Owicki}Publication :Berlin, Heidelberg : Springer, 1976Description : P. 319 A 340 : RF 19 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5273] (1).
12. Congrès AN OLD-FASHIONED RECIPE FOR REAL TIME. / {M. Abadi, L. Lamport}Publication :s.l. : [s.n.], 1992Description : 01 VOL.,67 P. : 18 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-987] (1).
13. Thèses Analyse de programmes annotés par des assertions [Microforme] / Ranan FraerPublication :Grenoble : ANRT [diff.], 1997Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[97 FRA] (2).
14. Thèses ANALYSE SEMANTIQUE DES COMMUNICATIONS ENTRE PROCESSUS DE PROGRAMMES PARALLELES / NICOLAS MERCOUROFF ; SOUS LA DIRECTION DE PATRICK COUSOTPublication :[S.l.] : [s.n.], 1990Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-156] (1).
15. Congrès ANALYSE STATIQUE DES PROPRIETES LINEAIRES DES SYSTEMES INDETERMINISTES ET PARALLELES. / {N. Halbwachs}Publication :S.L. : [s.n.], 1983Description : 01 VOL.,28 P. : RF 14 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2658] (1).
16. Articles Analysing fair parametric extended automata / {M. Sighireanu, A. Collomb-annichini, A. Bouajjani, Y. Lakhnech}Publication :Berlin, Heidelberg : Springer, 2001Description : P. 335-355 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 01] (1).
17. Congrès Applications du Model-Checking à des problèmes de vérification de systèmes sur puce / par Manuel BacletPublication :Cachan : Ecole normale supérieure de Cachan, 2005Description : 1 vol. (161 p.) : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[05 BAC] (1).
18. Congrès APPROACH (AN) TO AUTOMATING THE VERIFICATION OF COMPACT PARALLEL COORDINATION PROGRAMS, 2 / {B. Lubachevsky}Publication :S.L. : [s.n.], 1983Description : 01 VOL.,53 P. : RF 4 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1815] (1).
19. Congrès APPROACH (AN) TO AUTOMATING THE VERIFICATION OF COMPACT PARALLEL COORDINATION PROGRAMS, 1 / {B. Lubachevsky}Publication :S.L. : [s.n.], 1983Description : 01 VOL.,91 P. : RF 21 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1820] (1).
20. Congrès ASPECTS THEORIQUES ET PRATIQUES DES SYSTEMES D'EXPLOITATION.Publication :[s.n.], 1974Description : 01 VOL.,305 P. : IL X, RF X ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1115] (1).
21.  Monographies, textes AUTO : un systéme de vérification de processus paralléles et communicants : A verification system for parallel and communicating processes / Valérie Lecompte, Eric Madelaine, Didier VergaminiPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1987Description : 20 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3553] (1).
22. Congrès AUTOGRAPH (AN) PRIMER. / {D. Simone r., V. Roy}Publication :ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,30 P. : PR 2 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6442] (1).
23. Congrès Automated proofs of object code for a widely used microprocessor / Yuan YuPublication :Palo Alto (CA) : DIGITAL, 1993Description : 122 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 9287] (1).
24. Congrès Automated software engineering / {J. Kepler, P. GrÈunbacher, Y. Ledru}Publication :Sophia-Antipolis : ERCIM EEIG, 2004Description : P. 12-52 : Ill. en coul. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[04 BNI: 10152] (1).
25. Congrès Automated technology for verification and analysis [ [Texte imprimé]] ; edited by: Zhiming Liu, Anders P. Ravn : 7th International symposium, ATVA 2009 Macao, China, october 14-16, 2009. ProceedingsPublication :Berlin, Heidelberg : Springer, 2009Description : 1 vol. (XI-414 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAC 09] (1).

Powered by Koha

//]]>