m

F Nous contacter

0
     
Congrès

H 0 Formal techniques in real-time and fault-tolerant systems :
second international symposium#Jan. 8-10

Vytopil, J. (Editeur)

Springer-Verlag

1991

620 p.

978-3-540-55092-1

00014319

68M20 ; 68Q05 ; 68Q10

calcul en temps réel # calcul formel # langage formel # logique mathématique # mathématique discrète # processus à synchrones # programmation logique # spécification des requètes # système distribué en temps réel

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

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9783540550921

ISBN : 3-540-55092-5

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

Collection : Lecture notes in computer science

N° de collection : 0571

Localisation : Collection 1er étage

Numéro de congrès : 2

Année de la rencontre : 1991

Ville du congrès : Nijmegen

Code ACM : B.1.2 ; F.1.2 ; F.3 ; F.4.3 ; G.3

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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