En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Tapsoft '87. Vol. 2 :
proceedings of the international joint conference on theory and practice and software development#March 23-27

Sélection Signaler une erreur
Congrès

Ehrig, Hartmut (Editeur) ; Kowalski, Robert (Editeur) ; Levi, Giorgio (Editeur) ; Montanari, Ugo (Editeur)

Springer-Verlag

1987

336 p.

978-3-540-17611-4

00013968

68N17 ; 68Nxx

algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540176114

ISBN : 3-540-17611-X

Collation : xiv#fig.#24 cm#broch. ; Bibliogr. ; Index

Collection : Lecture notes in computer science

N° de collection : 0250

Localisation : Collection 1er étage

Année de la rencontre : 1987

Ville du congrès : Pise

Pays du congrès : Italie

Code ACM : D.3.1 ; D.3.4 ; F.3.1 ; F.3.3 ; F.4.1

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013968

[disponible]
Sélection Signaler une erreur