Reseaux predicat/transition etiquetes pour la modelisaiton et la verification de sysemes informatiques repartis

Toulouse, Univ., These Doct. : 1990

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lloret, Jean-Christophe (VerfasserIn)
Format:	UnknownFormat
Sprache:	fre
Veröffentlicht:	1990
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!