m

F Nous contacter

0
     
Congrès

H 0 Mathematical methods of specification and synthesis of software systems '85 :
proceedings of the international spring school#Apri l 22-26

Bibel, W. (Editeur) ; Jentke, K. P. (Editeur)

Springer-Verlag

1986

245 p.

978-3-540-16444-9

00013948

68N05 ; 68Nxx ; 68Q20 ; 68Q25 ; 68Qxx

algorithme # algorithmique # informatique théorique

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

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540164449

ISBN : 3-540-16444-8

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

Collection : Lecture notes in computer science

N° de collection : 0215

Localisation : Collection 1er étage

Année de la rencontre : 1985

Ville du congrès : Wendisch-Rietz

Code ACM : F.1 ; F.3 ; I.2.2 ; I.2.6

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013948 [disponible]
Z