Von dem Buch Specification in B, An Introduction Using the B Toolkit haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Kevin Lano, Howard Haughton: Specification in B, An Introduction Using the B Toolkit (ISBN: 9781860940187) 1996, Imperial College Press, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
100%: LANO KEVIN ET AL: SPECIFICATION IN B - AN INTRODUCTION USING THE B TOOLKIT (ISBN: 9781848161061) Imperial College Press, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
100%: Haughton Howard Haughton: Specification In B: An Introduction Using The B Toolkit (ISBN: 9781783262724) World Scientific Publishing Company, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Specification in B, An Introduction Using the B Toolkit
9 Angebote vergleichen
Bester Preis: € 0,94 (vom 13.01.2017)1
Symbolbild
Specification in B: an Introduction Using the B Toolkit (1996)
EN PB US
ISBN: 9781860940187 bzw. 1860940188, in Englisch, Imperial College Press, Taschenbuch, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, zzgl. Versandkosten, Verandgebiet: EUR.
Von Händler/Antiquariat, Anybook Ltd. Lincoln, [RE:4].
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In fair condition, suitable as a study copy., 450grams, ISBN: 9781860940187. Trade paperback.
Von Händler/Antiquariat, Anybook Ltd. Lincoln, [RE:4].
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In fair condition, suitable as a study copy., 450grams, ISBN: 9781860940187. Trade paperback.
2
SPECIFICATION IN B - AN INTRODUCTION USING THE B TOOLKIT
EN NW
ISBN: 9781848161061 bzw. 1848161069, in Englisch, Imperial College Press, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
SPECIFICATION IN B: This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B. Englisch, Ebook.
SPECIFICATION IN B: This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B. Englisch, Ebook.
3
Specification In B: An Introduction Using The B Toolkit
EN NW EB DL
ISBN: 9781783262724 bzw. 1783262729, in Englisch, World Scientific Publishing Company, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners.Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C.Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems.The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners.Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C.Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems.The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.
4
Symbolbild
Specification in B, An Introduction Using the B Toolkit (1996)
EN PB NW
ISBN: 9781860940187 bzw. 1860940188, in Englisch, Imperial College Press, Taschenbuch, neu.
Lieferung aus: Niederlande, Vermoedelijk 4-6 weken.
bol.com.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.Taal: Engels;Afmetingen: 15x230x152 mm;Gewicht: 376,00 gram;Verschijningsdatum: januari 1996;ISBN10: 1860940188;ISBN13: 9781860940187; Engelstalig | Paperback | 1996.
bol.com.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.Taal: Engels;Afmetingen: 15x230x152 mm;Gewicht: 376,00 gram;Verschijningsdatum: januari 1996;ISBN10: 1860940188;ISBN13: 9781860940187; Engelstalig | Paperback | 1996.
5
Specification in B: An Introduction Using the B Toolkit (1996)
EN PB US
ISBN: 9781860940187 bzw. 1860940188, in Englisch, 252 Seiten, Imperial College Press, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, anybookltduk.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B. Paperback, Label: Imperial College Press, Imperial College Press, Produktgruppe: Book, Publiziert: 1996-04-01, Studio: Imperial College Press, Verkaufsrang: 17527652.
Von Händler/Antiquariat, anybookltduk.
This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B. Paperback, Label: Imperial College Press, Imperial College Press, Produktgruppe: Book, Publiziert: 1996-04-01, Studio: Imperial College Press, Verkaufsrang: 17527652.
6
Specification in B
EN NW
ISBN: 9781848161061 bzw. 1848161069, in Englisch, Imperial College Press, neu.
Lieferung aus: Deutschland, Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Sofort per Download lieferbar.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…