Linked documents : [45 document(s)]

Documents (MSC Codes)

• [Ouvrage] Interactive theorem proving and program development: - Coq'art: the calculus of inductive constructions / Principal Bertot, Yves ; Co-auteur Castéran, Pierre ; Foreword Huet, Gérard ; Foreword Paulin-Mohring, Christine. Springer, 2010. - xxv; 469 p.
  ISBN 978-3-642-05880-6
  
• [Congrès] Mathematics of program construction: - 9th international conference MPC#July 15-18 / Editor Audebaud, Philippe ; Editor Paulin-Mohring, Christine. -Berlin, Heidelberg : Springer-Verlag, 2008. - 421 p.
  ISBN 978-3-540-70593-2
  
• [Congrès] Automatic verification methods for finite state systems: - international workshop#June12-14 / Editor Sifakis, J.. -Berlin, Heidelberg : Springer-Verlag, 1990. - 382p.
  ISBN 978-3-540-52148-8
  
• [Congrès] Computer aided verification: - 5th international conference, CAV'93#June28-July1 / Editor Courcoubetis, Costas. -Berlin, Heidelberg : Springer-Verlag, 1993. - 504p.
  ISBN 978-3-540-56922-0
  
• [Congrès] Computer aided verification: - 7th international conference, CAV'95#July 3-5 / Editor Wolper, Pierre. -Berlin, Heidelberg : Springer-Verlag, 1995. - 450p.
  ISBN 978-3-540-60045-9
  
• [Congrès] Computer aided verification: - 11th international conference, CAV'99#July 6-10 / Editor Halbwachs, Nicolas ; Editor Peled, Doron A.. -Berlin, Heidelberg : Springer-Verlag, 1999. - 506p.
  ISBN 978-3-540-66202-0
  
• [Congrès] Computer aided verification: - 8th international conference, CAV'96#July31-Aug.3 / Editor Alur, Rajeev ; Editor Henzinger, Thomas A.. -Berlin, Heidelberg : Springer-Verlag, 1996. - 472p.
  ISBN 978-3-540-61474-6
  
• [Congrès] Computer aided verification: - 3rd international workshop, CAV'91#July1-4 / Editor Larsen, K. G. ; Editor Skou, A.. -Berlin, Heidelberg : Springer-Verlag, 1992. - 487p.
  ISBN 978-3-540-55179-9
  
• [Congrès] Computer aided verification: - 9th international conference, CAV'97#June 22-25 / Editor Grumberg, Orna. -Berlin, Heidelberg : Springer-Verlag, 1997. - 486p.
  ISBN 978-3-540-63166-8
  
• [Congrès] Computer aided verification: - 12th international conference, CAV#July15-19 / Editor Emerson, Allen E. ; Editor Sistla, Prasad A.. -Berlin, Heidelberg : Springer-Verlag, 2000. - 582p.
  ISBN 978-3-540-67770-3
  
• [Congrès] Computer aided verification: - 10th international conference, CAV'98#june28-july2 / Editor Hu, Alain J. ; Editor Vardi, Moshe Y.. -Berlin, Heidelberg, Allemagne : Springer-Verlag, 1998. - 552p.
  ISBN 978-3-540-64608-2
  
• [Ouvrage] Axiomatising the logic of computer programming / Principal Goldblatt, Robert. -Berlin, Heidelberg, N. Y. : Springer-Verlag, 1982. - 304 p.
  ISBN 978-3-540-11210-5
  
• [Ouvrage] Mathematical techniques for analyzing concurrent and probabilistic systems / Secondaire Rutten, J. J. M. M. ; Secondaire Kwiatkowska, Marta ; Secondaire Norman, Gethin ; Secondaire Parker, David. -Providence : American Mathematical Society, 2004. - 215 p.
  ISBN 978-0-8218-3571-5
  
• [Ouvrage] Handbook of logic an artificial intelligence and logic programming. Vol. 4 : - epistemic and temporal reasoning / Editor Gabbay, Dov. M. ; Editor Hogger, C. J. ; Editor Robinson, J. A.. -Oxford : Clarendon Press, 1995. - 611 p.
  ISBN 978-0-19-853791-5
  
• [Congrès] Mathematical foundations of computer science 1996 : - 21 st international symposium, mfcs / Editor Penczek, Wojciech ; Editor Szafas, Andrezj,. -Berlin, Heidelberg, N.y. : Springer, 1996. - 592 p.
  ISBN 978-3-540-61550-7
  
• [Congrès] Mathematical foundations of computer science 1991 : / Editor Tarlecki A.. -Berlin, Heidelberg, N.y. : Springer-Verlag, 1991. - 435 p.
  ISBN 978-3-540-54345-9
  
• [Ouvrage] The formal semantics of programming languages : - an introduction / Principal Winskel, Glynn. -Cambridge, London : The Mit Press, 1996. - 361 p.
  ISBN 978-0-262-23169-5
  
• [Congrès] TAPSOFT '93 : - theory and practice of software development#4th international joint conference CAAP/FASE#April 13-17 / Editor Gaudel, M. C. ; Editor Jouannaud, J. P.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1993. - 761 p.
  ISBN 978-3-540-56610-6
  
• [Ouvrage] Automatic verification of sequential infinite-state processes / Principal Burkart, Olaf. -Berlin, Heidelberg, N.Y. : Springer, 1997. - 163 p.
  ISBN 978-3-540-63982-4
  
• [Congrès] Concurrency and parallelism, programming, networking, and security :: - second Asian computing science conference, ASIAN '96#Dec. 2-5 / Editor Jaffar, Joxan ; Editor Yap, Roland H. C.. -Berlin, Heidelberg, N.Y. : Springer, 1996. - 391 p.
  ISBN 978-3-540-62031-0
  
• [Congrès] Computer science today : - recent trends and developments / Editor Van Leeuwen, Jan. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 642 p.
  ISBN 978-3-540-60105-0
  
• [Ouvrage] Efficient checking of polynomials and proofs and the hardness of approximation problems / Principal Sudan, Madhu. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 87 p.
  ISBN 978-3-540-60615-4
  
• [Congrès] Rewriting techniques and applications : - 7th international conference RTA-96#July 27-30 / Editor Ganzinger, Harald. -Berlin, Heidelberg, N.Y. : Springer, 1996. - 435 p.
  ISBN 978-3-540-61464-7
  
• [Congrès] Partial order methods in verification : - DIMACS workshop Univerity of Princeton#July 24-26 / Editor Holzmann, Gerard J. ; Editor Peled, Doron A. ; Editor Pratt, Vaughan R.. -Providence, R.I. : American Mathematical Society, 1997. - 403 p.
  ISBN 978-0-8218-0579-4
  
• [Congrès] The spin verification system : - the second workshop on... proceedings of a DIMACS workshop held at Rutgers University#Aug. 5 / Editor Grégoire, Jean-Charles ; Editor Holzmann, Gerard J. ; Editor Peled, Doron A.. -Providence, R.I. : American Mathematical Society, 1997. - 203 p.
  ISBN 978-0-8218-0680-7
  
• [Congrès] Graph grammars and their application to computer science : - 5th international workshop#Nov. 13-18 / Editor Cuny, J. ; Editor Ehrig, H. ; Editor Engels, G. ; Secondaire Rozenberg, G. E d.. -Berlin, Heidelberg, N.Y. : Springer, 1996. - 564 p.
  ISBN 978-3-540-61228-5
  
• [Ouvrage] Logique temporelle - sémantique et validation de programmes parallèles / Principal Audureau, Eric ; Co-auteur Enjalbert, Patrice ; Co-auteur Farinas del Cerro , Luis ; Préfacier Engeler, Erwin. -Barcelone, Milan, Paris : Masson, 1990. - 232 p.
  ISBN 978-2-225-81967-4
  
• [Ouvrage] Approche logique de l'intelligence artificielle. Tome 4 : - de l'apprentissage artificiel aux frontières de l'IA / Secondaire Delsarte, Philippe ; Secondaire Hagelstein, Jacques ; Secondaire Thayse, Andre. -Paris : Dunod, 1991. - 358 p.
  ISBN 978-2-10-000073-9
  
• [Congrès] Computer-aided verification'90 : - proceedings of a DIMACS Workshop, Rutgers University#June 18-20 / Editor Clarke, E. M. ; Editor Kurshan, R. P.. -Grenoble : American Mathematical Society, 1991. - 628 p.
  ISBN 978-0-8218-6594-1
  
• [Ouvrage] Specifying message passing and time-critical systems with temporal logic / Principal Koymans, Ron. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1992. - 164 p.
  ISBN 978-3-540-56283-2
  
• [Ouvrage] Algebraic specification techniques in object oriented programming environnemen TS / Principal Breu, R.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 419 p.
  ISBN 978-3-540-54972-7
  
• [Congrès] Seminar on concurrency : - carnegie-mellon university#July 9-11 / Editor Brookes, S. D. ; Editor Roscoe, A. W. ; Editor Winskel, G.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 523 p.
  ISBN 978-3-540-15670-3
  
• [Congrès] Concur '91 : - 2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 / Editor Baeten, J. C. M. ; Editor Groote, J. F.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 540 p.
  ISBN 978-3-540-54430-2
  
• [Congrès] 8th international conference on automated deduction : - proceedings held at st. catherine college#July 27 - Aug. 1 / Editor Siekmann, Jorg H.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 708 p.
  ISBN 978-3-540-16780-8
  
• [Ouvrage] Current trends in concurrency : - overviews and tutorials / Editor De Bakker, J. W. ; Editor De Roever, W. P. ; Editor Rozenberg, G.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 716 p.
  ISBN 978-3-540-16488-3
  
• [Congrès] Logics of programs : - proceedings of a conference on... held at brooklyn coolege#June 17-19 / Editor Parikh, Rohit. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 424 p.
  ISBN 978-3-540-15648-2
  
• [Ouvrage] Verifying concurrent processes using temporal logic / Principal Hailpern, Brent T.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 208 p.
  ISBN 978-3-540-11205-1
  
• [Congrès] Abstract software specifications : - proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 / Editor Bjorner, D.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1980. - 567 p.
  ISBN 978-3-540-10007-2
  
• [Congrès] International symposium on programming#Avril 22-24 / Editor Robinet, B.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1980. - 341 p.
  ISBN 978-3-540-09981-9
  
• [Congrès] Eci conference 1976 : - proceedings of the 1st. conference of the european cooperation in informatics#Aug. 9-12 / Editor Samelson, K.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1976. - 322 p.
  ISBN 978-3-540-07804-3
  
• [Ouvrage] The foundations of program verification / Principal Loeckx, Jacques ; Co-auteur Sieber, Kurt. -Brisbane, Chichester, N.Y. : John Wiley And Sons, 1987. - 230 p.
  ISBN 978-0-471-91282-8
  
• [Ouvrage] Types de données et algorithmes. Vol. 1 : - analyse d'algorithmes définition des types de données / Principal Gaudel, Marie-Claude ; Co-auteur Soria, Michele ; Co-auteur Froidevaux , Christine. -Rocquencourt : I.N.R.I.A., 1989. - 205 p.
  ISBN 978-2-7261-0463-7
  
• [Ouvrage] Abstract interpretation of declarative languages / Editor Abramsky, S. ; Editor Hankin, C.. -Brisbane, Chichester, N.Y. : John Wiley And Sons, 1987. - 284 p.
  ISBN 978-0-7458-0109-4
  
• [Ouvrage] Programmation en logique / Principal Hogger, C. J.. -Barcelone, N.Y., Paris : Masson, 1987. - 284 p.
  ISBN 978-2-225-81009-1
  
• [Ouvrage] Mathematical theory of computation / Principal Manna, Zahor. -N.Y., Paris, St Louis : McGraw-Hill Book Company, 1974. - 448 p.
  ISBN 978-0-07-039910-5