Description: Hierarchical Annotated Action Diagrams :

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cerny, E., Berkane, B. (Auteur), Khordoc, K. (Auteur), Girodias, P. (Auteur)
Format:	Livre numérique
Langue:	Anglais
Publié:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Autre(s) auteurs(s) : K. Khordoc Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Hierarchical Annotated Action Diagrams, An Interface-Oriented Specification and Verification Method

Description
Description:	Autre(s) auteurs(s) : K. Khordoc Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9781461556152
Accès:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017