m

F Nous contacter

0
     
Congrès

H 0 The analysis of concurrent systems :
proceedings of aworkshop on... held at clare college#Sept. 12-16

Denvir, B. T. (Editeur) ; Harwood, W. T. (Editeur) ; Jackson, M. I. (Editeur) ; Wray, M. J. (Editeur)

Springer-Verlag

1985

398 p.

978-3-540-16047-2

00013916

68Q10

langage de requète # programmation parallèle # spécification # vérification de programme

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

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540160472

ISBN : 3-540-16047-7

Collation : vii#erratum#24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0207

Localisation : Collection 1er étage

Année de la rencontre : 1983

Ville du congrès : Cambridge

Pays du congrès : Grande-Bretagne

Code ACM : D.1.3 ; D.2.1 ; D.2.4 ; F.1.2

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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