Documents disponibles écrits par cet auteur

Architecture of distributed computer systems / BOCHMANN G.V.

Public ISBD Titre : Architecture of distributed computer systems Type de document : ouvrage Auteurs : BOCHMANN G.V. Editeur : Springer-Verlag (Paris) Année de publication : 1979 Importance : 238p. ISBN/ISSN/EAN : 3-540-09723-6 Note générale : systeme distribue programmation architecture Langues : Anglais (eng) Architecture of distributed computer systems [ouvrage ] / BOCHMANN G.V. . - Paris : Springer-Verlag, 1979 . - 238p.. ISBN : 3-540-09723-6 systeme distribue programmation architecture Langues : Anglais (eng)

Exemplaires

Code barre	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Computer aided verification / BOCHMANN G.V.

Public ISBD Titre : Computer aided verification Type de document : ouvrage Auteurs : BOCHMANN G.V.; PROBST D.K. Editeur : Springer-Verlag (Paris) Année de publication : 1992 Importance : 422p. ISBN/ISSN/EAN : 3-540-56496-9 Langues : Anglais (eng) Computer aided verification [ouvrage ] / BOCHMANN G.V.; PROBST D.K. . - Paris : Springer-Verlag, 1992 . - 422p.. ISBN : 3-540-56496-9 Langues : Anglais (eng)

Exemplaires

Code barre	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire