Comprendre les méthodes formelles : :: SCD d'Orléans

Comprendre les méthodes formelles : panorama et outils logiques

Comprendre les méthodes formelles : panorama et outils logiques

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Monin, Jean-François
Andre forfattere:	Huet, Gérard, 1947-...., informaticien (Auteur de l'introduction, etc.)
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris ; Milan ; Barcelone : Masson impr. 1996, cop. 1996
Serier:	Collection technique et scientifique des télécommunications
Fag:	Langages formels Calcul formel > Informatique Logique symbolique et mathématique Ensembles, Théorie des Logiciels > Développement Génie logiciel
Autres localisations:	Voir dans le Sudoc

Lignende værker

Logique(s), langages formels et complexité pour l'informatique
af: Jussien, Narendra, 1973-
Udgivet: (2006)

Programmer avec Maple V
af: Monagan, Michael B., 19..-
Udgivet: (1997)

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users Turku, Finland, June 4 6, 2003 : proceedings

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23 25, 2002 : proceedings

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings

Calcul formel avec MUPAD
af: Maltey, François
Udgivet: (2001)

ZUM 98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

Le Turbo Pascal en classes préparatoires, Calcul formel
af: Levine, Albert, 19..-
Udgivet: (1989)

ZUM '97 : the Z formal specification notation : 10th International Conference of Z Users Reading, UK, April 3 4, 1997 : proceedings

Elements of the theory of computation
af: Lewis, Harry R., 1947-, et autres
Udgivet: (1981)

Spécification formelle avec B
af: Habrias, Henri, 1946-
Udgivet: (2001)

Solving Problems in Scientific Computing Using Maple and MATLAB®
af: Gander, Walter, 1944-, et autres

Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings

Maple V : library reference manual
af: Char, Bruce W., 19..-, et autres
Udgivet: (1991)

Mise en oeuvre de la méthode B
af: Boulanger, Jean-Louis, 1966-
Udgivet: (2013)

Introduction à la calculabilité
af: Wolper, Pierre, 1955-
Udgivet: (1991)

Sciences du logiciel
af: Leroy, Xavier
Udgivet: (2022)

Méthode B
Udgivet: (2003)

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Grammar and L forms : an introduction
af: Wood, Derick, 1940-

Logic : a brief course
af: Mundici, Daniele, 1946-

Maple : quinze thèmes mathématiques
af: Donato, Paul, 1949-
Udgivet: (1997)

Building tightly integrated software development environments : the IPSEN approach
af: Nagl, Manfred, 1944-

Maple : cours et applications : 1re et 2e années toutes filières
af: Porcheron, Lionel, 1978-
Udgivet: (2004)

Exercices pour Maple
af: Levine, Albert, 19..-
Udgivet: (1995)

Automata, languages and programming : ; proceedings 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000

Automata, languages and programming : ; proceedings 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999

Discovering mathematics with Magma : reducing the abstract to the concrete
af: Bosma, Wieb

Mathématiques pour les sciences de l'ingénieur avec Mathematica®.
af: Carmasol, Alain
Udgivet: (2021)

Sciences du logiciel
af: Leroy, Xavier
Udgivet: (2023)

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9. 12. Juli 1973
Udgivet: (2006)

Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings

Foundations of software science and computation structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

Premiers pas en Maple : introduction à l'utilisation du calcul formel en mathématiques, en physique & en chimie
af: Fortin, Philippe, 19..-...., professeur de mathématiques, et autres
Udgivet: (1995)

Introduction to Maple
af: Heck, André, 19..-...., mathématicien
Udgivet: (1993)

Introduction to Maple
af: Heck, André, 19..-...., mathématicien

Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16 21, 2001 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales