Résultat(s)
1 - 2
résultats de
2
pour la requête '
Nordio Martin
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Nordio Martin
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Nordio Martin
'
, 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 à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Tools for Practical Software Verification : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
par
Meyer Bertrand
,
Nordio
Martin
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
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
par
Meyer-Stabley Bertrand
,
Meyer Bertrand
,
Nordio
Martin
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
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
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
compilers and interpreters
computer science
computer science logic and foundations of programming
formal languages and automata theory
it operations
logics and meanings of programs
management of computing and information systems
mathematical logic and formal languages
programming languages, compilers, interpreters
programming techniques
software engineering
génie logiciel
informatique
langages de programmation
logique mathématique
microordinateurs programmation
×
Chargement en cours...