Verification (Record no. 123814)

005 - numéro d'identification de la version
identification de la version 20190527220549.0
009 - PPN
PPN 076920496
010 ## - ISBN
ISBN 3-540-21002-4
qualificatif br.
035 ## -
-- 771862302
-- 123814
099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2019-05-27
100 ## - données générales de traitement
données générales de traitement 20040315h20032004k y0frey50 ba
200 1# - titre
Titre propre Verification
indication générale du type de document
Complément du titre theory and practice
-- essays dedicaced to Zohar Manna on the occasion of his 64th birthday
Auteur principal Nachum Dershowitz (ed.)
210 ## - éditeur
Lieu de publication Berlin
-- Heidelberg
-- New York
Nom de l'éditeur Springer
Date de publication cop.2003
215 ## - description
Caractéristiques matérielles XV-782 p.
Autres caractéristiques couv. ill. en coul., 1 portr.
Format 24 cm
320 ## - note
texte de la note Contient des notes bibliogr. Index
503 ## - titre de forme
titre Mélanges
nom de personne Manna
élément(s) de nom rejeté(s) Zohar
606 ## - Mot Matière
Numéro de notice d'autorité 084024682
Element d'entrée Langages de programmation
Subdivision de sujet Sémantique
Code du système d'indexation rameau
606 ## - Mot Matière
Numéro de notice d'autorité 027412091
Element d'entrée Logique temporelle
Code du système d'indexation rameau
610 ## - sujets
sujet SEMANTIQUE
610 ## - sujets
sujet MACHINE A ETAT
610 ## - sujets
sujet LOGIQUE TEMPORELLE
610 ## - sujets
sujet INTERPRETATION ABSTRAITE
615 ## - catégorie sujet
Catégorie H-INF.TH.
610 ## - sujets
sujet Modèl Checking
606 ## - Mot Matière
-- ba0yba0y
Element d'entrée Programmation orientée objets (informatique)
Numéro de notice d'autorité 029548276
Code du système d'indexation rameau
606 ## - Mot Matière
-- ba0yba0y
-- frefre
Element d'entrée Logiciels
Subdivision de sujet Vérification
Numéro de notice d'autorité 053469844
Code du système d'indexation rameau
610 ## - sujets
sujet Preuve de programme
702 #1 - nom de personne - mention de responsabilité secondaire
Lien 385395
numéro de la notice d'autorité 050649841
élément d'entrée Dershowitz
partie du nom autre que l'élément d'entrée Nachum
dates 1951-....
code de fonction Editeur scientifique
801 #3 - source de catalogage
Date de la transaction 20050222
930 ## -
-- 771862302:423058762
-- 771862302
-- DER
-- g
991 ## -
-- 771862302:423058762
-- exemplaire créé automatiquement par l'ABES
995 ## - Exemplaires
-- EM AI CI200-3906
Holdings
Perdu Origine geographique du document Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique DER Sur demande Centre de Recherche en Informatique

Powered by Koha