Programmation concurrente et temps réel avec ADA 95 :: SCD d'Orléans

Programmation concurrente et temps réel avec ADA 95

Programmation concurrente et temps réel avec ADA 95

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Zaffalon, Luigi, Breguet, Pierre, 19..- (Auteur)
Format:	Livre papier
Sprog:	Français
Udgivet:	Lausanne : Presses polytechniques et universitaires romandes cop. 1999.
Serier:	Collection Informatique
Fag:	Programmation en temps réel Programmation parallèle (informatique) Ada (langage de programmation)
Autres localisations:	Voir dans le Sudoc

Lignende værker

Concurrent and real-time programming in Ada 2005
af: Burns, Alan, 1953-, et autres
Udgivet: (2007)

Techniques de synchronisation pour les applications parallèles
af: Padiou, Gérard, 1950-, et autres
Udgivet: (1990)

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

Ada 95 Quality and Style

A review of Ada tasking
af: Burns, Alan, 1953-, et autres

Towards a formal description of Ada
af: Bjørner, Dines, 1937-

The Programming language Ada : reference manual : proposed standard document

Algorithmes et structures de données avec Ada, C++ et Java
af: Guerid, Abdelali, 19..-, et autres
Udgivet: (2002)

Vers ADA 95 par l'exemple : langage, technique et pratique
af: Fayard, Didier, et autres
Udgivet: (1999)

Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13 17, 1991 : proceedings

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

Concepts et outils de programmation : le style fonctionnel, le style impératif, avec Caml et Ada
af: Accart Hardin, Thérèse, et autres
Udgivet: (1992)

Langage ADA et algorithmique
af: Ogor, Robert, et autres
Udgivet: (1990)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings

Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 : proceedings

Ada - Europe '93 : 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings

Program verification using Ada
af: McGettrick, Andrew D., 1944-
Udgivet: (1982)

Reliable software technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 18, 2001 : proceedings

Reliable software technologies Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies Uppsala, Sweden, June 8 12, 1998 : proceedings

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

Programmation concurrente : maîtrisez le traitement de vos données en Java
af: Joyeux, Laurent
Udgivet: (2017)

Reliable software technologies - Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 14, 1996 : proceedings

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
af: Cottet, Francis, et autres
Udgivet: (2014)

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

Systèmes temps réel de contrôle-commande : conception et implémentation
af: Cottet, Francis, et autres
Udgivet: (2005)

Approche du temps réel industriel
af: De Geeter, Jean-Marie
Udgivet: (1999)

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

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
af: Hains, Gaétan, 1963-
Udgivet: (2018)

Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
af: Hains, Gaétan
Udgivet: (2018)

La programmation réactive : application aux systèmes communicants
af: Boussinot, Frédéric, 1951-
Udgivet: (1996)

Initiation et auto-formation à la programmation informatique
af: Canesi, Gérard, et autres
Udgivet: (2001)

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

Erlang : programmation
af: Rémond, Mickaël, 19..-
Udgivet: (2012)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
af: Bernardo, Marco

Sémantique de langages de programmation fonctionnels réactifs avec effets
af: Ischard, Jordan, 1998-
Udgivet: (2025)

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

CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21 24, 1995 : proceedings

Simulation par événements discrets
af: Erard, Pierre-Jean, et autres
Udgivet: (1996)

© 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