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.
Acheter D'occasion
état : SatisfaisantPaperback. Good condition. Ex-Library...
Afficher cet article
EUR 23,41
EUR 10,82 expédition depuis Royaume-Uni vers Etats-Unis
Destinations, frais et délaisAcheter neuf
Afficher cet article
EUR 52,27
EUR 3,42 expédition vers Etats-Unis
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 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 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 5 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 d'archives
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020176508
Quantité disponible : Plus de 20 disponibles
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 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 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 d'archives
The B Language and Method : A Guide to Practical Formal Development
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540760337
Quantité disponible : 10 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
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 244. N° de réf. du vendeur 2648037282
Quantité disponible : 4 disponible(s)
Image d'archives
The B Language and Method
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 244 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 44778109
Quantité disponible : 4 disponible(s)