Τεκμήρια: ZB 2003 :

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	ZB 2003 :Turku, Finlande
Άλλοι συγγραφείς:	Bert, Didier, 19..-...., informaticien (Διευθυντής έκδοσης), King, Steve (Διευθυντής έκδοσης), Bowen, Jonathan Peter, 1956- (Διευθυντής έκδοσης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Σειρά:	Lecture notes in computer science 2651
Θέματα:	Génie logiciel Informatique Logique symbolique et mathématique B (méthode formelle) Z (méthode formelle) Actes de congrès
Διαθέσιμο Online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Σημείωση:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• ZB 2003, formal specification and development in Z and B, third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, proceedings, ed by Didier Bert, Jonathan P. Bowen, Steve King... [et al.], Berlin, Springer, 2003, 1 vol. (XIII-545 p.), Lecture notes in computer science, 3-540-40253-5 • ZB 2003: Formal Specification and Development in Z and B, Texte imprimé, 9783662180303