The book store at your door!
B'98: Recent Advances In The Development And Use Of The B Method
(Paperback - 08041998)by Write a Review
|  off  |
Imported Edition. Order now and get it in 14-21 business days. See Details
All India - Free Shipping. See Details
Ships to India only.
Buy online using:
- Credit Card (VISA & MasterCard)
- Debit Card or Internet Banking Account (all major Indian Banks accepted)
- Cheque, Demand Draft or Money Order. See Details
Publisher: Springer
OR
Book: B'98: Recent Advances In The Development And Use Of The B Method
This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development.
No Reviews Yet! Be the first one to review this book.
Details of Book: B'98: Recent Advances In The Development And Use Of The B Method Book: B'98: Recent Advances In The Development And Use Of The B Method
Author: Bert Didier
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 08041998
Publisher: Springer
Number of Pages: 328
Language: English
Author: Bert Didier
ISBN:
3540644059
ISBN-13:
9783540644057
,978-3540644057
Binding: Paperback
Publishing Date: 08041998
Publisher: Springer
Number of Pages: 328
Language: English
2 States: The Story Of My Marriage by Chetan BhagatFourth book by the bestselling author Chetan Bhagat.
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
Popular at Flipkart.comWriter's Handbook For Engineering Technicians And Technologists | Basic Biochemical Laboratory Procedures And Computing | Making Microchips | A Place To Live And Work | One World | The Business Of Risk | Spacetime And Singularities | The Early Homes Of Prince Albert | Grasses And Forage Plants | Towards Democracy | Asthma In Relation To The Nose | An Essay Upon Projects | Uebersicht Der Bisher In Kurhessen Beobachteten Wildwachsenden Und Eingebrgerten Pflanzen | Runaway | Santa Evita | Black Ice | Where Chicago Shop! | Community | Solitudes Crowded With Loneliness | Breaker | The Mast Cell In Health And Disease | Politics In Manitoba | American Maritime Documents 1776-1860 | Maxim Gorky | The Revolt Of Mother And Other Stories | The Watsons | The Waitress Handbook | A Spark In The Dark | Meeta's Memoirs | The Feast Of The Virgins And Other Poems | Evolution And Religion | American Negro Slavery In The Works Of Friedrich Strubberg, Friedrich Gerstacker And Otto Ruppius | An Old Turnpike Road | Diseases Of A Gasoline Automobile And How To Cure Them | Children Of Storm | Surfing | Cruelty Has A Human Heart | Shadows And Secrets | Law Map In Constitutional And Administrative Law | Women Labour | The Graying Of The Raven | Potomac Landings | The Negro In Literature And Art | De Re Logica | Home Remedies Honey | more...
Your Recent Searches (click to search again)
| aphra behn nicoll katherin dayo forster e a ankumah laj utreja | of the corps members of the corps richard longstreth c dreizler valorie fisher v a funk |
Book: B'98: Recent Advances In The Development And Use Of The B Method by Bert Didier
ISBN Number: 3540644059, 9783540644057, 978-3540644057