Résultat(s)
1 - 2
résultats de
2
pour la requête '
Margaria-Steffen Tiziana
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Margaria-Steffen Tiziana
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Margaria-Steffen Tiziana
'
, Temps de recherche: 0,03s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octob...
par
Margaria
-
Steffen
Tiziana
,
Steffen Bernhard
Springer Berlin Heidelberg 2012
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
L'accès à cette ressource est géré par la BU.
Accès en ligne Nantes Université
Livre
En ligne
Ajouter au panier
Retirer du panier
|
Merci de choisir la recherche numéro 2
2
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 1...
par
Margaria
-
Steffen
Tiziana
,
Steffen Bernhard
Springer Berlin Heidelberg 2012
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
L'accès à cette ressource est géré par la BU.
Accès en ligne Nantes Université
Livre
En ligne
Ajouter au panier
Retirer du panier
|
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
actes de congrès
artificial intelligence
artificial intelligence (incl. robotics)
compilers and interpreters
computation by abstract devices
computer science
computer science logic and foundations of programming
logics and meanings of programs
operating systems
programming languages, compilers, interpreters
software engineering
theory of computation
×
Chargement en cours...