Couverture de Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées

Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées

Première parution: 2007
Éditeur: École nationale supérieure des télécommunications
Paris
Pages: 191
Éditions: 1
Langue: Français

Trouver ce livre d’occasion

Recherche préremplie — titre et auteur, toutes éditions confondues — chez 8 marchands d’occasion et sites de petites annonces.

Momox RecycLivre Rakuten Vinted Leboncoin AbeBooks

Édition

	Année	Éditeur	ISBN	Pages	Ville	Occasion	Notice
	2007	École nationale supérieure des télécommunications	—	191	Paris	Vinted

Voir la notice BNF →

Introuvable en stock ? Recevez une alerte

Beaucoup d’éditions sont épuisées — soyez prévenu par email quand une offre d’occasion réapparaît, au prix qui vous convient.

Votre adresse sert uniquement à vous prévenir pour ce livre : une confirmation vous sera demandée par email, et chaque message contient un lien de désinscription en un clic. Aucune revente, aucune lettre d’information.