The B-method : an introduction

Enregistré dans:
Détails bibliographiques
Auteur principal : Schneider Steve (Auteur)
Format : Livre
Langue : anglais
Titre complet : The B-method : an introduction / Steve Schneider
Publié : Basingstoke : Palgrave , cop. 2001
Description matérielle : 1 vol. (XIII-370 p.)
Collection : Cornerstones of computing series editor Richard Bird and Tony Hoare
Sujets :
LEADER 01606cam a2200481 4500
001 PPN068954875
003 http://www.sudoc.fr/068954875
005 20231026060700.0
010 |a 0-333-79284-X  |b br.  |d 48,14 EUR 
010 |a 978-0-333-79284-1  |b br. 
020 |a GB  |b A1-X0181 
035 |a (OCoLC)491327703 
035 |a DYNIX_BUNAN_503580 
073 1 |a 9780333792841 
100 |a 20021126h20012001k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a GB 
105 |a a a 001yy 
106 |a r 
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 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a The B-method  |e an introduction  |f Steve Schneider 
210 |a Basingstoke  |c Palgrave  |d cop. 2001 
215 |a 1 vol. (XIII-370 p.)  |c ill.  |d 25 cm 
225 0 |a Cornerstones of computing  |f series editor Richard Bird and Tony Hoare 
320 |a Notes bibliogr.. Index 
410 | |0 148588301  |t Cornerstones of computing  |f series editor Richard Bird and Tony Hoare  |c Houndmills, Basingstoke, Hampshire  |n Palgrave Macmillan  |d 2000  |p 24 cm 
606 |3 PPN035004355  |a B (méthode formelle)  |2 rameau 
676 |a 005.14  |v 22 
680 |a QA76.9.B22 
686 |a D.2  |2 acm 
686 |a F.3  |2 acm 
700 1 |3 PPN06929660X  |a Schneider  |b Steve  |f 19..-....  |4 070 
801 3 |a FR  |b Abes  |c 20220825  |g AFNOR 
801 0 |b BDS  |g AACR2 
801 2 |b Uk  |g AACR2 
979 |a IUTN 
930 |5 441092206:801185149  |b 441092206  |j s 
991 |5 441092206:801185149  |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:15 
998 |a 9306