Descripción: ZB 2003 : :: SCD d'Orléans

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	ZB 2003 :Turku, Finlande
Otros Autores:	Bert, Didier, 19..-...., informaticien (Director de publicación), King, Steve (Director de publicación), Bowen, Jonathan Peter, 1956- (Director de publicación)
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colección:	Lecture notes in computer science 2651
Materias:	Génie logiciel Informatique Logique symbolique et mathématique B (méthode formelle) Z (méthode formelle) Actes de congrès
Acceso en línea:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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

Descripción
Notas:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540448808 (PDF)
ISSN:	1611-3349
Acceso:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017