Your search returned 216 results. Subscribe to this search

|
1. Congrès A formal method for hardware/software co-design / Ketil Stolen, Max FuchsPublication :München (DEU) : Technische Universität München, 1995Description : 25 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1995 BNI: 8933] (1).
2. Congrès A Logical view of composition / {M. Abadi, G. Plotkin}Publication :s.l. : [s.n.], 1992 Description : 01 VOL.,35 P. : 28 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-872] (1).
3. Congrès A requirement specification for a lexical analyzer / Rudolf HettlerPublication :München : Technische Universität München, 1994Description : 16 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BNI: 8912] (1).
4. 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).
5.  Monographies, textes Abstraction and specification in program development [] / Barbara Liskov and John GuttagPublication :Cambridge (Mass.) : MIT Press, New York : McGraw-Hill, cop. 1986Description : 1 vol. (XV, 469 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3393] (1).
6. Congrès Abstracts semantics of synchronous languages : the example Esterel / {M. Broy}Publication :Munich (DEU) : Technische Universität München, 1997Description : 20 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2316] (1).
7. Congrès ACM SIGSOFT SYMPOSIUM ON SOFTWARE DEVELOPMENT ENVIRONMENTS.Publication :1515, Broadway N.Y. 10036, New York : ACM, 1990Description : P. 1 A 248 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-100] (1).
8. Congrès ACM Transactions on design automation of electronic systems : Volume 1, number 1-4, 1996, Volume 2, number 1-4, 1997, volume 3, numbers 1-4, 1998 / Jason Cong and Bryan Preas, directorsPublication :ACM, New York, 1515, Broadway N.Y. 10036, 1999Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI:8370] (1).
9. Congrès ACM Transactions on design automation of electronic systems : Volume 1-4, 1996-1999 / editor in chief, Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2000Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9085] (1).
10. Congrès ACM Transactions on design automation of electronic systems : Volume 1-5, 1996-2000 / editor in chief, Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2001Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9086] (1).
11. Ressources électroniques ACM Transactions on design automation of electronic systems : Volumes 1-6: 1996-2001 / editor in chief: Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2002Description : 1 CD-ROMAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9919] (1).
12. Congrès ADA ENVIRONNEMENTS AND TOOLS. / {J. Urban}Publication :NEW-YORK : IEEE, 1985Description : P. 6 A 71 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7589] (1).
13. Congrès ALGEBRAIC METHODS : THEORY,TOOLS AND APPLICATIONS.Publication :Springer, Berlin, Heidelberg, 1989Description : 01 VOL.,558 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6679] (1).
14.  Monographies, textes Algebraic specification [] / edited by J.A. Bergstra, J. Heering, P. KlintPublication :New York, N.Y. : ACM Press, Wokingham, England, Reading, Mass. : Addison-Wesley, c1989Description : xiii, 397 p. : ill. ; 25 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI6389] (2).
15. Congrès Algorithm specification / Edited by Randall RustinPublication :Englewood Cliffs, N.J. : Prentice-Hall, [1972]Description : 141 p. : illus. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1043] (1).
16.  Monographies, textes Algorithm synthesis : a comparative study / D.M. Steier, A.P. AndersonPublication :New York : Springer-Verlag, c1989Description : viii, 118 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-157] (1).
17. Congrès An attempt to embed a restricted version of SDL as a target language in focus / Eckhardt Holz, Ketil StolenPublication :München : Technische Universität München, 1994Description : 32 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1994 BNI: 8931] (1).
18. Congrès An extended version of mini-statecharts / Peter ScholzPublication :München (DEU) : Technische Universität München, 1996Description : 26 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1996 BNI: 8922] (1).
19.  Monographies, textes An introduction to data types / J. Craig CleavelandPublication :Reading Mass, Menlo Park Calif. [etc.] : Addison-Wesley, cop. 1986Description : xii, 239 p : fig ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.658] (1). Copies available for reference: Centre de recherche en informatique[CLE] (1).
20. 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).
21. Revues : n° spéciaux APPLICATIONS OF FORMAL METHODS [[Texte imprimé]] : DEVELOPING VIRTUOSO SOFTWARE.(Special Issue) / {S. Gerhart}Publication :New York : IEEE, 1990Description : P. 7 A 67 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI13030] (1).
22. Articles APPLYING FORMAL SPECIFICATION TO SOFTWARE DEVELOPMENT IN INDUSTRY. [[Texte imprimé]] / {I. Hayes}Publication :New York : IEEE, 1985Description : P. 169 A 178 : 8 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7621] (1).
23.  Monographies, textes / Guiboud-Ribaud S.Apport des techniques de spécification formelle pour l'étude de la sûreté de fonctionnement = Contribution of formal specification techniques in dependability studies, Guiboud-Ribaud S.Publication :Clamart : EDF-DER, 1995Description : 18 p. ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP C 155A (95NR00103)] (1).
24. Congrès Assumption/commitment rules for data-flow networks - with an emphasis on completeness / {K. St¢len}Publication :München : Technische Universität München, 1995Description : 35 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1857] (1).
25. Congrès ATLAS : a typed language for algebraic specification / B.M. Hearn, K. MeinkePublication :München : Technische Universität München, 1993Description : 21 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 8914] (1).

Powered by Koha

//]]>