m

F Nous contacter

0
     
Congrès

H 0 Theoretical computer science :
3rd Gl (Gesellschaft für Informatik) conference#March 28-30

Tzschach, H. (Editeur) ; Waldschmidt, H. (Editeur) ; Walter, H. K. G. (Editeur)

Springer-Verlag

1977

418 p.

978-3-540-08138-8

00027314

00Bxx ; 68-06 ; 94-06 ; 03-06

théorie des automates # combinatoire # réseau de Petri # démonstration de théorème # langage algébrique # schéma programme # arborescence # fondement des mathématiques # informatique théorique # langage # logique # programmation # théorie constructive # théorie de la preuve

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

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540081388

ISBN : 3-540-08138-0

Collation : 24 cm # broch.

Collection : Lecture notes in computer science

N° de collection : 0048

Localisation : Collection 1er étage

Année de la rencontre : 1977

Ville du congrès : Darmstadt

Pays du congrès : Allemagne

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 2
Cote Code barre Commentaire
1 00027314 [disponible]
2 00012091 [disponible]
Z