Verwandte Artikel zu The B Language and Method: A Guide to Practical Formal...
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Kevin Lano teaches a course on B at Imperial College.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag
- Erscheinungsdatum1996
- ISBN 10 3540760334
- ISBN 13 9783540760337
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten244
- Kontakt zum HerstellerNicht verfügbar
EUR 10,06
EUR 4,62 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 47,23
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für The B Language and Method: A Guide to Practical Formal...
Beispielbild für diese ISBN
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers Z1-T-024-01991
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
The B Language and Method: A Guide to Practical Formal Development
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540760334
ISBN 13: 9783540760337
Gebraucht
Softcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers E-867-875
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Brit Books, Milton Keynes, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 2510856
Anzahl: 1 verfügbar
Foto des Verkäufers
Lecture Notes in Computer Science: 672: The MOSIX Distributed Operating System: Load Balancing for UNIX
ISBN 10: 3540760334
ISBN 13: 9783540760337
Gebraucht
Paperback
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Zustand des Schutzumschlags: 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. Bestandsnummer des Verkäufers 449253
Anzahl: 1 verfügbar
Foto des Verkäufers
The B Language and Method
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4900331
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
The B Language and Method : A Guide to Practical Formal Development
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540760337
Anzahl: 1 verfügbar
Foto des Verkäufers
The B Language and Method
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540760337
Anzahl: 2 verfügbar
Foto des Verkäufers
The B Language and Method
Verlag:
Springer London, Springer Berlin Heidelberg Mai 1996, 1996
ISBN 10: 3540760334
ISBN 13: 9783540760337
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540760337
Anzahl: 2 verfügbar
Foto des Verkäufers
The B Language and Method: A Guide to Practical Format Development
Verlag:
Springer Verlag London, London, 1996
ISBN 10: 3540760334
ISBN 13: 9783540760337
Gebraucht
Paperback
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Zustand des Schutzumschlags: 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. Bestandsnummer des Verkäufers 449242
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540760337_new
Anzahl: Mehr als 20 verfügbar