525 Notices bibliographiques

Votre Recherche

    Toutes les notices liées.
    • Méthodes de développement de logiciels ; paradigmes de programmation = 005.11 (23e éd.)
Sauvegarder votre recherche

Affiner

Nature de document

  • Ajouter un filtre

  • Ajouter un filtre

  • Ajouter un filtre

  • Ajouter un filtre

Détail des sujets

  • Ajouter un filtre

  • Ajouter un filtre
Voir la sélection (0)
Ajouter à mes références (0)

1 1977

Wirth, Niklaus (1934-2024)

Systematic programming : an introduction (français)
Systematisches Programmieren (français)
Introduction à la programmation systématique / par Niklaus Wirth,... ; traduit [de la version anglaise] par Olivier Lecarme
Masson
Livres

2 1980

Marlin, Christopher D.

Coroutines : a Programming Methodology, a Language Design and an Implementation / by Christopher D. Marlin
Springer-Verlag
Livres

3 1980

Robinet, Bernard

International Symposium on Programming : Proceedings of the Fourth 'Colloque International sur la Programmation' Paris, 22-24 April 1980 / edited by Bernard Robinet
Springer-Verlag
Livres

4 1981

Díaz, J.

Formalization of Programming Concepts : International Colloquium Peniscola, Spain, April 19-25, 1981 Proceedings / edited by J. Díaz, I. Ramos
Springer-Verlag
Livres

5 1985

Brookes, Stephen D.

Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 / edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel
Springer-Verlag
Livres

6 1986

Cousineau, Guy

Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6-10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet
Springer-Verlag
Livres

7 1986

Bakker, Jacobus Willem de (1939-2012)

Current Trends in Concurrency : Overviews and Tutorials / edited by J.W. Bakker, W.-P. Roever, G. Rozenberg
Springer-Verlag
Livres

8 1986

Robinet, Bernard

ESOP 86 : European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17-19, 1986 Proceedings / edited by Bernard Robinet, Reinhard Wilhelm
Springer-Verlag
Livres

9 1986

Wada, Eiiti

Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada
Springer-Verlag
Livres

10 1986

Bibel, Wolfgang (1938-....)

Mathematical Methods of Specification and Synthesis of Software Systems '85 : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke
Springer-Verlag
Livres

Récupérer les notices

(0)
(525)

autres Ressources