ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29 September 2, 2000 : proceedings
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1878 |
| Soggetti: | |
| Accesso 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 |
| 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 2000, formal specification and development in Z and B, first International Conference of B and Z Users, York, UK, August 29-September 2, 2000, proceedings, Jonathan P. Bowen, Steve Dunne, Andy Galloway... [et al.] (eds.), 2000, New York, Springer, 1 vol. (XIV-510 p.), Lecture notes in computer science, 3-540-67944-8 • ZB 2000: Formal Specification and Development in Z and B, Texte imprimé, 9783662180891 |
| Riassunto: | This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered. |
|---|---|
| Descrizione del documento: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| ISBN: | 9783540445258 (PDF) |
| ISSN: | 1611-3349 |
| Accesso: | 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 |