Accueil
Liste de notices

2 Notices bibliographiques

Votre Recherche

Recherche simple :

Ernst-Rudiger Olderog

Auteurs, contributeurs...

Apt, Krzysztof R. (1949-....)

Sauvegarder votre recherche

Affiner

Fonctions du premier auteur choisi

Auteur du texte (2)

Accès en ligne

Ressource électronique acquise (1)

Nature de document

Texte imprimé et livre numérique (2)
Documents électroniques (1)

Localisation

Bibliothèque du Haut-de-jardin (1)
- Ressource électronique acquise (1)
Bibliothèque de recherche (2)
- Ressource électronique acquise (1)
- François Mitterrand (1)
  - Magasin (dans toutes les salles de l'espace Recherche) (1)

Auteurs, contributeurs...

Apt, Krzysztof R. (1949-....) (2)
Olderog, Ernst-Rüdiger (1)
Boer, Frank S. de (1)

Ajouter un filtre

Langues

anglais (2)

Date de publication

1900-1999 (1)
2000-2099 (1)

Sujets

Programmation (informatique) - Vérification, tests, mesures, débogage = 005.14 (23e éd.) (2)
Informatique (1)
Programmation parallèle (informatique) (1)

Ajouter un filtre

Pays

États-Unis (2)

Voir la sélection (0)

Ajouter à mes références (0)

Information

Veuillez sélectionner au moins une notice dans la liste de résultats.

Tri par :

sur 1

1 1997

Apt, Krzysztof R. (1949-....)

Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog

2nd ed.

Springer-Verlag

Livres

2 2009

Apt, Krzysztof R. (1949-....)

Verification of sequential and concurrent programs / by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog ; foreword by Amir Pnueli

3rd ed.

Springer

Livres

Tri par :

sur 1

Télécharger/Imprimer

Vous allez obtenir un document que vous pourrez enregistrer ou imprimer.

Format du fichier :	PDF TXT
Choisir :	notices abrégées notices complètes
Format de la notice :	Public Intermarc

Envoyer par courriel

Envoi par courriel au format txt :

PDF
TXT

  notices abrégées
  notices complètes sans exemplaires
  notices complètes avec exemplaires

Format de la notice :

Public
Intermarc

Adresse du destinataire :

Ajouter à mes références

La sélection a bien été ajoutée.

> Accéder à mes références

Exporter dans un tableau

paramétrage public
paramétrage professionnel

Vous allez obtenir un document csv.

	Sélectionner tout
	Localisation (pour obtenir tous les exemplaires d'une même ressource)
	Titre
	Auteur
	Contributeur
	Editeur
	Date
	Description
	Sujet
	Couverture
	Langue
	Format

Vous allez obtenir un document csv.

Intermarc

Unimarc

1 colonne par zone

1 colonne par sous-zone

Avec données brutes

Données avec étiquette

avec sous-notices

sans sous-notices

avec données d'exemplaire

sans données d'exemplaire

Identification
Localisation
Cote magasin
Cote libre accès
Droits génériques
Caractéristiques
Exe remarquables
Fonds
Données de numérisation

Numéro de notice	Numéro de regroupement
Collection	Date de dernière modification
Mode d'accès	Mode d'entrée
Numéro d'ordre	Numéro d'inventaire
Identifiant partie exe liée	Numéro d'entrée
Source récolement	Libellé du regroupement
Date de création

Etablissement	Lacune
Statut d'acquisition	Etat de collection
Destination	Complétude pub. en série
Usage	Conservation
Qualification/Volumaison	Note complétude
Etat col/mon

Adresse	Sous-cote
Préfixe	Cote non conrôlée
Format	Cote 1
Lettrage, millésime ou support	Cote 2
Numéro	Cote originale (indexée)
Début numéro	Cote originale (non indexée)
Fin numéro

Salle	Nature oeuvre
Discipline	Code critique
Dewey / Per	Microforme
Code auteur	Ancienne cote
Code titre

Droit	Date fin
Permission	Paramètres
Date début	Id. convention

Disponibilité	Particularités
Support physique	Origine
Original	Microforme
Matériel accompagnement	Source bibliographique
Description technique

Numéro exemplaire	Note papier
Ajouts	Type provenance
Note ajouts	Type
Type papier	Date

Nom du fonds	Mention de mécénat
N° à l'intérieur d'un fonds	Département gestionnaire

Date numérisation	Cote support numérisé
Document né numérique	Présence adaptatif
Nb de vues	Type adaptatif
1ère page à afficher	Version adaptatif
Numérisation partielle	Taux qualité adaptatif
Numérisation directe	Signalement adaptatif
Type num. partielle	Consultation adaptatif
Table des matières	Présence E-Pub
Type de TDM	Type E-Pub
Présence de texte	Version E-Pub
Taux de qualité du texte	Qualité E-Pub
Type fichiers num.	Identifiant E-Pub
Taille fichiers num.	Taux qualité E-Pub
Qualité de la numérisation	Accessibilité E-Pub
Résolution du master	Signalement E-Pub
Support numérisé	Consultation E-Pub
Id ArkDoc

Transférer pour un SGB

Vous allez obtenir un fichier au format d'échange ISO2709 à importer dans votre catalogue de bibliothèque informatisé.

Format bibliographique :

Unimarc
Intermarc

Encodage des caractères :

Unicode-UTF8 : jeu de caractères pour tous les systèmes d'écriture

ISO 5426 : jeu de caractères latins

Sauvegarder votre recherche dans mes références

Titre de la recherche :

Récupérer les notices

Ma sélection (0)

Télécharger/Imprimer
Envoyer par courriel
Exporter dans un tableau
Transférer pour un SGB

Tous les résultats (2)

Exporter dans un tableau
Transférer pour un SGB

autres Ressources

Archives et manuscrits
Ressources électroniques