Specification in B: An Introduction Using the B Toolkit by K. Hardcover Boo
5 Angebote vergleichen
Preise | Feb. 16 | März 16 | Dez. 16 |
---|---|---|---|
Schnitt | € 30,53 | € 43,48 | € 65,32 |
Nachfrage |
1
Specification in B: An Introduction Using the B Toolkit (1996)
EN HC US
ISBN: 9781860940088 bzw. 1860940080, in Englisch, 241 Seiten, Imperial College Press, gebundenes Buch, gebraucht.
Ново от: $71.86 (13 Оферти)
Използван от: $28.03 (14 Оферти)
Покажи още 27 Оферти в Amazon.com
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. Hardcover, Етикет: Imperial College Press, Imperial College Press, Продуктова група: Book, Публикувани: 1996-04-01, Студио: Imperial College Press, Продажбата ранг: 11100440.
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. Hardcover, Етикет: Imperial College Press, Imperial College Press, Продуктова група: Book, Публикувани: 1996-04-01, Студио: Imperial College Press, Продажбата ранг: 11100440.
2
Specification in B: An Introduction Using the B Toolkit (1996)
EN HC US
ISBN: 9781860940088 bzw. 1860940080, in Englisch, 241 Seiten, World Scientific Pub Co Inc, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, anybookltduk.
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided. Hardcover, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 1996-09, Studio: World Scientific Pub Co Inc, Verkaufsrang: 9336591.
Von Händler/Antiquariat, anybookltduk.
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided. Hardcover, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 1996-09, Studio: World Scientific Pub Co Inc, Verkaufsrang: 9336591.
3
Specification in B: An Introduction Using the B Toolkit (1996)
EN HC NW
ISBN: 9781860940088 bzw. 1860940080, in Englisch, 241 Seiten, World Scientific Pub Co Inc, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 2-3 business days.
Von Händler/Antiquariat, BRILANTI BOOKS.
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided. Hardcover, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 1996-09, Studio: World Scientific Pub Co Inc, Verkaufsrang: 9336591.
Von Händler/Antiquariat, BRILANTI BOOKS.
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided. Hardcover, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 1996-09, Studio: World Scientific Pub Co Inc, Verkaufsrang: 9336591.
4
Specification in B: An Introduction Using the B Toolkit
EN HC NW
ISBN: 9781860940088 bzw. 1860940080, in Englisch, Imperial College Press, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Specification-in-B~~Kevin-Lano, Specification in B: An Introduction Using the B Toolkit.
Specification-in-B~~Kevin-Lano, Specification in B: An Introduction Using the B Toolkit.
5
Specification in B: An Introduction Using the B Toolkit by K. Lano Hardcover Boo
EN HC NW
ISBN: 9781860940088 bzw. 1860940080, in Englisch, Imperial College Press, Vereinigtes Königreich Großbritannien und Nordirland, gebundenes Buch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferart: Free, Lieferung: Weltweit, Artikelstandort: RH110TG United Kingdom, Versandkostenfrei.
Von Händler/Antiquariat, the_nile_usa.
Festpreisangebot.
Von Händler/Antiquariat, the_nile_usa.
Festpreisangebot.
Lade…