Bild 1 von 1
Galerie
Bild 1 von 1
Die B-Sprache und -Methode: Ein Leitfaden für die praktische formale Entwicklung (formale Appr
£17,11
Ca.CHF 19,03
Artikelzustand:
Gut
Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr geringfügige Beschädigungen auf, wie z.B. kleinere Schrammen, er hat aber weder Löcher, noch ist er eingerissen. Bei gebundenen Büchern ist der Schutzumschlag möglicherweise nicht mehr vorhanden. Die Bindung weist geringfügige Gebrauchsspuren auf. Die Mehrzahl der Seiten ist unbeschädigt, das heißt, es gibt kaum Knitter oder Einrisse, es wurden nur in geringem Maße Bleistiftunterstreichungen im Text vorgenommen, es gibt keine Textmarkierungen und die Randbereiche sind nicht beschrieben. Alle Seiten sind vollständig vorhanden. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers.
2 verfügbar
- Sofort-KaufenDie B-Sprache und -Methode: Ein Leitfaden für die praktische formale Entwicklung (formale Appr
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
£7,20 (ca. CHF 8,01) Royal Mail International Standard.
Standort: Hertfordshire, Vereinigtes Königreich
Lieferung:
Lieferung zwischen Mi, 11. Jun und Mi, 25. Jun bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:396692895514
Artikelmerkmale
- Artikelzustand
- Book Title
- The B Language and Method: A Guide to Practical Formal Developmen
- ISBN
- 9783540760337
Über dieses Produkt
Product Information
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.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783540760337
eBay Product ID (ePID)
89714519
Product Key Features
Number of Pages
232 Pages
Publication Name
The B Language and Method: a Guide to Practical Formal Development
Language
English
Subject
Computer Science
Publication Year
1996
Type
Textbook
Series
Formal Approaches to Computing and Information Technology (Facit)
Format
Paperback
Dimensions
Item Height
235 mm
Item Weight
376 g
Item Width
155 mm
Additional Product Features
Country/Region of Manufacture
Germany
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
USt-IdNr.: GB 858 5123 06
Info zu diesem Verkäufer
Phatpocket Book Shoppe
99,2% positive Bewertungen•120 Tsd. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (43'222)
- 7***g (148)- Bewertung vom Käufer.Letzter MonatBestätigter KaufAn old book in good condition and appearance. School books, no matter how old, are always good value for money.
- d***d (362)- Bewertung vom Käufer.Letzter MonatBestätigter Kaufperfect thanks
- s***s (553)- Bewertung vom Käufer.Letzter MonatBestätigter KaufGreat ebayer - very pleased
Noch mehr entdecken:
- Sachbuch-Rough-Guides Bücher,
- Sachbuch Insight Guides Bücher,
- Englische Bücher Sachbuch-Rough-Guides,
- Reisen-Sachbuch-Rough-Guides Bücher,
- Englische Bücher Insight-Guides-Sachbuch,
- The Face Zeitschriften,
- Erwachsene Masters of the Universe Hörbücher und Hörspiele,
- Masters of the Universe Jugendliche Hörbücher und Hörspiele auf Deutsch,
- Ungekürzte Masters of the Universe Buchreihe Hörbücher und Hörspiele,
- Masters of the Universe Buchreihe Hörbücher und Hörspiele mit Kinder- & Jugendliteratur