1.  Monographie A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. WalterType de document: Monographie. Collection: Computer science texts Éditeur: Oxford : Blackwell, 1986 Disponibilité: Pour le prêt: CMI[03 DOW] (1). Actions: Add to Cart
2. Thèse Algèbre et combinatoire des jeux de parité / Walid BelkhirType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2008 En-ligne: LIF Disponibilité: Pour le prêt: CMI[Thèses BEL] (1). Actions: Add to Cart No cover image available
3.  Monographie Algorithms for synthesis and testing of asynchronous circuits / Luciano Lavagno, Alberto Sangiovanni-VincentelliType de document: Monographie.Collection: Kluwer international series in engineering and computer science ; 232Éditeur: Dordrecht : Kluwer, 1993 En-ligne: Springerlink - dans The Springer International Series in Engineering and Computer Science Disponibilité: Pour le prêt: CMI[68 LAV] (1). Actions: Add to Cart
4.  Monographie Communicating and mobile systems : the [pi]-calculus / Robin MilnerType de document: Monographie.Éditeur: Cambridge : Cambridge University Press, 1999 Disponibilité: Pour le prêt: CMI[68 MIL] (1). Actions: Add to Cart
5.  Monographie Communication and concurrency / Robin MilnerType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1989 Disponibilité: Pour le prêt: CMI[68 MIL] (1). Actions: Add to Cart
6. Thèse Compilation et vérification de programmes LOTOS / par Hubert GaravelType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses GAR] (2). Actions: Add to Cart
7.  Monographie Comprendre les méthodes formelles : panorama et outils logiques / Jean-François MoninType de document: Monographie. Collection: Collection technique et scientifique des télécommunications Éditeur: Paris : Masson, 1996 Disponibilité: Pour le prêt: CMI[68 MON] (1). Actions: Add to Cart
8.  Monographie Computing with logic : logic programming with Prolog / David Maier, David S. WarrenType de document: Monographie.Éditeur: Menlo Park, CA : Benjamin, 1988 Disponibilité: Pour le prêt: CMI[Info MAI] (1). Actions: Add to Cart
9.  Congrès Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / Manfred BroyType de document: Congrès.Collection: NATO ASI series. Series F, Computer and systems sciences ; 55Éditeur: Berlin : Springer-Verlag, 1989 Disponibilité: Pour le prêt: CMI[68-06 BRO] (1). Actions: Add to Cart
10. Thèse Contribution à la réalisation d'une spécification formelle pour PROLOG / Gilles RichardType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1989 Disponibilité: Pour le prêt: CMI[Thèses RIC] (1). Actions: Add to Cart
11.  Congrès Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME '95, Frankfurt, Germany, October 1995 / Paolo E. Camurati, Hans EvekingType de document: Congrès.Collection: Lecture notes in computer science ; 987Éditeur: Berlin : Springer, 1995 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 CAM] (1). Actions: Add to Cart
12.  Congrès Data types and persistence / Malcolm P. Atkinson, Peter Buneman, Ronald MorrisonType de document: Congrès. Collection: Topics in information systems Éditeur: Berlin : Springer-Verlag, 1988 Disponibilité: Pour le prêt: CMI[68-06 ATK] (1). Actions: Add to Cart
13.  Monographie Dynamic logic / David Harel, Dexter Kozen, Jerzy TiurynType de document: Monographie. Collection: Foundations of computing Éditeur: Cambridge, MA : MIT Press, 2000 Disponibilité: Pour le prêt: CMI[68 HAR] (1). Actions: Add to Cart
14.  Monographie Elements of functional languages / Martin C. HensonType de document: Monographie. Collection: Computer science texts Éditeur: Oxford : Blackwell, 1987 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
15.  Monographie Formal verification of hardware design / Michael YoeliType de document: Monographie.Éditeur: Los Alamitos : IEEE Computer Society Press, 1990 Disponibilité: Pour le prêt: CMI[68 YOE] (1). Actions: Add to Cart
16. Thèse Formalisation des démonstrations mathématiques / André ArnoldType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1968 Disponibilité: Pour le prêt: CMI[Thèses ARN] (1). Actions: Add to Cart No cover image available
17.  Monographie Fundamental structures of computer science / William. A. Wulf ... [et al.]Type de document: Monographie.Éditeur: Reading, MA : Addison-Wesley, 1981 Disponibilité: Pour le prêt: CMI[68 WUL] (1). Actions: Add to Cart
18.  Congrès Hardware specification, verification and synthesis : mathematical aspects / M. Leeser, G. BrownType de document: Congrès.Collection: Lecture notes in computer science ; 408Éditeur: Berlin : Springer-Verlag, 1990 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 LEE] (1). Actions: Add to Cart
19.  Congrès Hybrid and real-time systems : proceedings of the international workshop, HART '97, Grenoble, France, March 26-28, 1997 / Oded MalerType de document: Congrès.Collection: Lecture notes in computer science ; 1201Éditeur: Berlin : Springer, 1997 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68-06 MAL] (1). Actions: Add to Cart
20.  Monographie Java and Java virtual machine : definition, verification, validation / Robert F. Stark, Joachim Schmid, Egon BorgerType de document: Monographie.Éditeur: Berlin : Springer, 2001 Disponibilité: Pour le prêt: CMI[Info STA] (1). Actions: Add to Cart
21.  Monographie Lambda-calcul : types et modèles / Jean-Louis KrivineType de document: Monographie. Collection: Etudes et recherches en informatique Éditeur: Paris : Masson, 1990 Disponibilité: Pour le prêt: CMI[03 KRI] (1). Actions: Add to Cart
22.  Monographie Lectures on the logic of computer programming / Zohar MannaType de document: Monographie.Collection: CBMS-NSF regional conference series in applied mathematics ; 31Éditeur: Philadelphia, PA : Society for Industrial and Applied Mathematics, 1980 Disponibilité: Pour le prêt: CMI[68 MAN] (1). Actions: Add to Cart
23.  Monographie Logique binaire et ordinateurs. Tome 2 : hardware et conception des ensembles logiques / Michel AumiauxType de document: Monographie.Éditeur: Paris : Masson, 1978 Disponibilité: Pour le prêt: CMI[68 AUM] (1). Actions: Add to Cart
24.  Monographie Logique temporelle : sémantique et validation de programmes parallèles / Eric Audureau, Patrice Enjalbert, Luis Farinas del CerroType de document: Monographie. Collection: Etudes et recherches en informatique Éditeur: Paris : Masson, 1990 Disponibilité: Pour le prêt: CMI[68 AUD] (1). Actions: Add to Cart
25.  Congrès Mechanized reasoning and hardware design / C. A. R. Hoare and M. J. C. GordanType de document: Congrès. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1992 Disponibilité: Pour le prêt: CMI[68 HOA] (1). Actions: Add to Cart
26. Thèse Mechanizing structural induction / Raymond AubinType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1976 En-ligne: Science direct Disponibilité: Pour le prêt: CMI[Thèses AUB] (1). Actions: Add to Cart No cover image available
27. Thèse Méthodes pour la vérification formelle de systèmes matériels et logiciels à architecture régulière / par Eric GascardType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2002 Disponibilité: Pour le prêt: CMI[Thèses GAS] (1). Actions: Add to Cart No cover image available
28.  Monographie Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. PeledType de document: Monographie.Éditeur: Cambridge : MIT Press, 1999 Disponibilité: Pour le prêt: CMI[68 CLA] (1). Actions: Add to Cart
29. Thèse Modélisation fonctionnelle et preuve de circuits avec LP / Michel AllemandType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1995 Disponibilité: Pour le prêt: CMI[Thèses ALL] (1). Actions: Add to Cart No cover image available
30.  Monographie La notation Z / J. Mike SpiveyType de document: Monographie.Collection: Méthodologies du logiciel ; 4Éditeur: Paris : Masson, 1994 Disponibilité: Pour le prêt: CMI[68 SPI] (1). Actions: Add to Cart
31.  Monographie Program verification / Nissim FrancezType de document: Monographie. Collection: International computer science series Éditeur: Reading, MA : Addison-Wesley, 1992 Disponibilité: Pour le prêt: CMI[68 FRA] (1). Actions: Add to Cart
32.  Monographie Proof in VDM : a practitioner's guide / Juan C. Bicarregui, John S. Fitzgerald, Peter A. Lindsay ... [et al.]Type de document: Monographie. Collection: Formal approaches to computing and information technology Éditeur: Berlin : Springer-Verlag, 1994 Disponibilité: Pour le prêt: CMI[68 BIC] (1). Actions: Add to Cart
33.  Monographie Specification and validation methods / Egon BorgerType de document: Monographie. Collection: International schools for computer sciences Éditeur: New York : Clarendon Press, 1995 Disponibilité: Pour le prêt: CMI[68 BOR] (1). Actions: Add to Cart
34.  Monographie Specification case studies / Ian HayesType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1993 Disponibilité: Pour le prêt: CMI[68 HAY] (1). Actions: Add to Cart
35. Thèse Spécifications formelles de systèmes de commande à événements discrets / par Watcharee JumpamuleType de document: Thèse.Éditeur: [S.l.] : [s.n.], 2002 Disponibilité: Pour le prêt: CMI[Thèses JUM] (1). Actions: Add to Cart No cover image available
36.  Monographie Systematic software development using VDM / Cliff B. JonesType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1990 Disponibilité: Pour le prêt: CMI[68 JON] (1). Actions: Add to Cart
37.  Monographie The correctness problem in computer science / R. S. Boyer and J. Strother MooreType de document: Monographie. Collection: International lecture series in computer science Éditeur: London : Academic Press, 1981 Disponibilité: Pour le prêt: CMI[68 BOY] (1). Actions: Add to Cart
38.  Monographie The denotational description of programming languages : an introduction / Michael J. C. GordonType de document: Monographie.Éditeur: New York : Springer-Verlag, 1979 Disponibilité: Pour le prêt: CMI[68 GOR] (1). Actions: Add to Cart
39.  Monographie The science of programming / David GriesType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1981 Disponibilité: Pour le prêt: CMI[68 GRI] (1). Actions: Add to Cart
40.  Monographie The Spin model checker : primer and reference manual / Gerard J. HolzmannType de document: Monographie.Éditeur: Boston, MA : Addison-Wesley, 2004 Disponibilité: Pour le prêt: CMI[68 HOL] (1). Actions: Add to Cart
41.  Monographie The Z notation : a reference manual / J. M. SpiveyType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1992 Disponibilité: Pour le prêt: CMI[68 SPI] (1). Actions: Add to Cart
42.  Monographie Théorie des programmes : schémas, preuves, sémantique / C. LivercyType de document: Monographie.Collection: Dunod informatique, Phase formation ; 5Éditeur: Paris : Dunod, 1978 Disponibilité: Pour le prêt: CMI[68 LIV] (1). Actions: Add to Cart
43. Thèse Transformations automatiques de spécifications sémantiques, applications : un vérificateur de types incrémental / par Laurent HascoëtType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1987 Disponibilité: Pour le prêt: CMI[Thèses HAS] (1). Actions: Add to Cart
44.  Monographie Understanding formal methods / Jean-François MoninType de document: Monographie.Éditeur: London : Springer, 2003 Disponibilité: Pour le prêt: CMI[68 MON] (1). Actions: Add to Cart
45. Thèse Vérification de circuits dans Coq / par Line JakubiecType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 Disponibilité: Pour le prêt: CMI[Thèses JAK] (1). Actions: Add to Cart No cover image available
46. Thèse Vérification de circuits dans COQ : (annexe : Code COQ) / par Line JakubiecType de document: Thèse.Éditeur: [S.l.] : [s.n.], 1999 Disponibilité: Pour le prêt: CMI[Thèses JAK] (1). Actions: Add to Cart No cover image available
47.  Monographie Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rudiger OlderogType de document: Monographie. Collection: Texts and monographs in computer science Éditeur: New York : Springer-Verlag, 1991 Disponibilité: Pour le prêt: CMI[68 APT] (1). Actions: Add to Cart
48.  Monographie Z : an introduction to formal methods / Antoni DillerType de document: Monographie.Éditeur: Chichester : John Wiley & Sons, 1995 Disponibilité: Pour le prêt: CMI[68 DIL] (1). Actions: Add to Cart
Languages: English | Français | |