B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
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.
"About this title" may belong to another edition of this title.
Search results for B'98: Recent Advances in the Development and Use...
Seller Image
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier France April 22-24 1998 Proceedings
Seller: Démons & Merveilles, Joinville, France
Seller rating 5 out of 5 stars
Condition: Very Good. Très bon état - L'ouvrage qui n'a jamais été lu peut présenter de légères traces de stockage mais est du reste en très bon état. envoi rapide et soigné dans un emballage adapté depuis France. 15x23x2cm. 2008. Broché. 328 pages. Very Good. Seller Inventory # 500008177
Seller Image
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 917722
Stock Image
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings (Lecture Notes in Computer Science, 1393)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540644057_new
Buy New
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedi
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540644057
Buy New
£ 47.81
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 917722-n
Buy New
£ 50.29
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 917722-n
Seller Image
B'98: Recent Advances in the Development and Use of the B Method
Published by
Springer Berlin Heidelberg, Springer Apr 1998, 1998
ISBN 10: 3540644059
ISBN 13: 9783540644057
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 328 pp. Englisch. Seller Inventory # 9783540644057
Seller Image
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 917722
Buy Used
£ 54.17
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
B 98: Recent Advances in the Development and Use of the B Method
Published by
Springer Berlin Heidelberg, 1998
ISBN 10: 3540644059
ISBN 13: 9783540644057
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 met. Seller Inventory # 4896748
Buy New
£ 43.11
£ 42.39 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
B'98: Recent Advances in the Development and Use of the B Method
Published by
Springer, Springer Apr 1998, 1998
ISBN 10: 3540644059
ISBN 13: 9783540644057
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch. Seller Inventory # 9783540644057