Programming with VDM

Détails bibliographiques
Auteur principal : Rolland F. D. (Auteur)
Format : Livre
Langue : anglais
Titre complet : Programming with VDM / F.D. Rolland
Publié : Basingstoke, England : Macmillan , 1992
Description matérielle : viii, 122 p.
Collection : Macmillan computer science series
Sujets :
LEADER 01260cam a2200397 4500
001 PPN015410307
003 http://www.sudoc.fr/015410307
005 20230126061000.0
010 |a 0-333-56520-7 
035 |a (OCoLC)26699113 
035 |a ocm26699113 
100 |a 19920930d1992 u y0engy0103 ba 
101 0 |a eng  |2 639-2 
102 |a GB 
105 |a y # 000|y 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
200 1 |a Programming with VDM  |f F.D. Rolland 
210 |a Basingstoke, England  |c Macmillan  |d 1992 
215 |a viii, 122 p.  |d 24 cm 
225 2 |a Macmillan computer science series 
410 | |t Macmillan computer science series 
606 |3 PPN027241378  |a Ordinateurs  |x Programmation  |2 rameau 
606 |3 PPN027392864  |a Microordinateurs  |x Programmation  |2 rameau 
676 |a 005.1 
700 1 |a Rolland  |b F. D.  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b Abes  |c 20200121  |g AFNOR 
979 |a IUTN 
930 |5 441092206:274602857  |b 441092206  |j s 
991 |5 441092206:274602857  |a Rétroconversion IUT Nantes 
991 |5 441092206:274602857  |a Exemplaire modifié automatiquement. le 25-01-2023 15:31 
998 |a 468092