Treffer 1 - 2 von 2 für Suche 'Enjalbert, Patrice', Suchdauer: 0,14s
Treffer weiter einschränken
-
1
Logique temporelle sémantique et validation de programmes parallèles von Audureau, Eric, Enjalbert, Patrice, Fariñas del Cerro, Luis
Veröffentlicht 1990Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Aspects de l'itération L'expression de la répétition en français : analyse linguistique et formalisation
Veröffentlicht 2013Weitere Verfasser:Signatur: Wird geladen …UER01
Standort: Wird geladen …
BSB01
URL des Erstveröffentlichers
Elektronisch E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
CSP
Französisch
Logique symbolique et mathématique
Parallelverarbeitung
Parallélisme (Informatique)
Programmation logique
Programmation parallèle (Informatique)
Programmation parallèle (informatique)
Programmierung
Reduplikation
Temporale Logik
logique modale
logique temporelle
programme parallèle
synthèse programme
sémantique programmation
validation logiciel