Spécifications algébriques, algorithmique et programmation :: SCD d'Orléans

Spécifications algébriques, algorithmique et programmation

Spécifications algébriques, algorithmique et programmation

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Dufourd, Jean-François, Bechmann, Dominique, 19..- (Tekijä), Bertrand, Yves, 1965- (Tekijä)
Aineistotyyppi:	Livre papier
Kieli:	Français
Julkaistu:	Paris : InterEditions DL 1995.
Sarja:	IIA Informatique, intelligence artificielle
Aiheet:	C (langage de programmation) > Problèmes et exercices Logiciels > Spécifications Ordinateurs Génie logiciel > Spécifications Algorithmes Programmation (mathématiques)
Autres localisations:	Voir dans le Sudoc

Samankaltaisia teoksia

Formal methods for industrial applications : specifying and programming the steam boiler control
Tekijä: Abrial, Jean-Raymond, 1938-2025, informaticien

Algorithmique & programmation par la pratique : travaux pratiques résolus et programmation avec les logiciels Scilab & Python
Tekijä: Ouin, José
Julkaistu: (2017)

Introduction à la spécification
Tekijä: Habrias, Henri, 1946-
Julkaistu: (1993)

L'algorithmique pour tous : énigmes, conjectures et simulations d'expériences aléatoires : exercices résolus et programmation avec les logiciels Scilab et Python
Tekijä: Ouin, José, 19..-
Julkaistu: (2018)

L'algorithmique pour tous : énigmes, conjectures et simulations d'expériences aléatoires : exercices résolus et programmation avec les logiciels Scilab et Python
Tekijä: Ouin, José, 19..-
Julkaistu: (2018)

Optimal interprocedural program optimization : a new framework and its application
Tekijä: Knoop, Jens

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Tekijä: Fahringer, Thomas, 1965-, et al.

Modular specification and verification of object-oriented programs
Tekijä: Müller, Peter, 1961-...., informaticien

Mini manuel d'algorithmique et de programmation : cours + exos corrigés
Tekijä: Granet, Vincent, 1959-
Julkaistu: (2012)

TAPSOFT'93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

Algebraic specification techniques in object oriented programming environments
Tekijä: Breu, Ruth, 19..-

Structure et interprétation des programmes informatiques
Tekijä: Abelson, Harold, 1947-, et al.
Julkaistu: (1989)

Baltic computer science : selected papers
Tekijä: Barzdin½, ⅝I⅜An Martynovich, 1937-

Algorithmique & calcul numérique : travaux pratiques résolus : programmation avec les logiciels Scilab et Python
Tekijä: Ouin, José
Julkaistu: (2013)

Eléments de génie logiciel : outils de développement en C sous Unix
Tekijä: Chauché, Jacques, 19..-...., auteur en informatique
Julkaistu: (1990)

Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20 25, 2001 : revised papers

Parallel computation : Second International ACPC Conference Gmunden, Austria, October 4 6, 1993 : proceedings

Ada 95 rationale : the language, tha standard libraries
Tekijä: Barnes, John Gilbert Presslie, 1937-

Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1
Tekijä: Taft, S. Tucker, 1953-

Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
Tekijä: Llamosí, Albert

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers

Ada 95 reference manual : language and standard libraries
Tekijä: Taft, S. Tucker, 1953-

Programmation en C++ et génie logiciel : cours et exercices corrigés
Tekijä: T'kindt, Vincent, 1973-...., chercheur en informatique
Julkaistu: (2007)

Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, Genova, Italy, May 25-29, 2003 : proceedings

Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Tekijä: Rao, Josyula Ramachandra, 19..-

Generative programming and component engineering : Third international conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

Interacting code motion transformations : their impact and their complexity
Tekijä: Rüthing, Oliver

Theoretical aspects of computer software : [second] international symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings

Theoretical aspects of computer software : [first] International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Domain-specific program generation : international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Tekijä: Lengauer, Christian

Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text

Bases en algorithmique et en programmation : cours et 120 exercices corrigés
Tekijä: Lienhardt, Pascal, 1958-, et al.
Julkaistu: (2021)

Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings : FST and TCS 18

Algorithmique : techniques fondamentales de programmation : exemples en PHP (nombreux exercices corrigés)
Tekijä: Rollet, Olivier, 1974-
Julkaistu: (2020)

Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings

Extreme programming and agile methods - XP/Agile Universe 2002 : second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4 7, 2002 : proceedings

© 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