Articles liés à The B Language and Method: A Guide to Practical Formal...
Synopsis
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag
- Date d'édition1996
- ISBN 10 3540760334
- ISBN 13 9783540760337
- ReliureBroché
- Langueanglais
- Nombre de pages244
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 47,23
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour The B Language and Method: A Guide to Practical Formal...
Image d'archives
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Edité par
Springer, 1996
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Ancien ou d'occasion
Couverture souple
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. N° de réf. du vendeur Z1-T-024-01991
Quantité disponible : 2 disponible(s)
Image d'archives
The B Language and Method: A Guide to Practical Formal Development
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-867-875
Quantité disponible : 1 disponible(s)
Image d'archives
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Edité par
Springer-Verlag, 1996
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Ancien ou d'occasion
Paperback
Vendeur : Brit Books, Milton Keynes, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Used; Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality. N° de réf. du vendeur 2510856
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Lecture Notes in Computer Science: 672: The MOSIX Distributed Operating System: Load Balancing for UNIX
Edité par
Springer-Verlag London Limited, Berlin, Heidelberg, New York, 2008
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Ancien ou d'occasion
Paperback
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. Etat de la jaquette : No Dust Jacket. Paperback. Good condition. Ex-Library. Library labels on front cover and inside front cover. Library stamps on half-title page. A few bumps, marks and light creases on covers. Slight wear on spine ends and leading corners. Binding is sound, and the contents are clear. AF. Ex-Library. N° de réf. du vendeur 449253
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The B Language and Method
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation. N° de réf. du vendeur 4900331
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The B Language and Method: A Guide to Practical Format Development
Edité par
Springer Verlag London, London, 1996
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Ancien ou d'occasion
Paperback
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. Etat de la jaquette : No Dust Jacket. Paperback. Good condition. Ex-academic library. Library labels on spine foot, inside front cover, half-title page, reverse of title page and last page of text. Library label residue on half-title page. Library stamps on half-title page, title page, inside rear cover, page block and at one or two further points. Minor pen markings on half-title page and reverse of title page. A few bumps and scores on covers. Binding is sound, and the contents are clear. AF. Ex-Library. N° de réf. du vendeur 449242
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The B Language and Method : A Guide to Practical Formal Development
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. N° de réf. du vendeur 9783540760337
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The B Language and Method
Edité par
Springer London Mai 1996, 1996
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 244 pp. Englisch. N° de réf. du vendeur 9783540760337
Quantité disponible : 2 disponible(s)
Image d'archives
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540760337_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The B Language and Method
Edité par
Springer London, Springer Berlin Heidelberg Mai 1996, 1996
ISBN 10 : 3540760334
ISBN 13 : 9783540760337
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch. N° de réf. du vendeur 9783540760337
Quantité disponible : 2 disponible(s)