B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier France April 22-24 1998 Proceedings
Language: English
Published by Springer, 2008
- Softcover
- Used
Seller: Démons & Merveilles, Joinville, FranceDémons & Merveilles
AbeBooks seller since February 10, 2025
Condition: Used - Fine
US$ 28.88
Quantity: 1 available
Add to basketItem description from seller
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. Fine.
Seller Inventory # 500008177
- Title
- B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier France April 22-24 1998 Proceedings
- Author
- Didier Bert
- Publisher
- Springer
- Publication year
- 2008
- Condition
- Fine
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540644059
- ISBN 13
- 9783540644057
- Dimensions
- 15x23x2cm
- Seller catalogs
- Romans
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.
Démons & Merveilles
Joinville, France
AbeBooks seller since February 10, 2025
Shipping rates from France to U.S.A.
| Item | 4 to 20 business days | 3 to 15 business days |
|---|---|---|
| First item | US$ 24.68 | US$ 31.41 |
Payment methods
- Bank Wire Transfer
- Cash
- Cash on Delivery
- Check
- Direct Debit
- Invoice
- Money Order
- Paypal
Store description
Démons et Merveilles est une librairie spécialisée dans les livres et périodiques anciens. Elle propose également en son catalogue plusieurs centaines de milliers de vinyles, jeux anciens etc. Environ 1000 références sont ajoutées quotidiennement à notre catalogue. Merci pour votre visite!
Specialty
Polars, littérature populaire, science-fiction, littérature fantastiqueSeller's business information
SAS Démons & Merveilles
4 Avenue de Lorraine
JOINVILLE, France 52300
Terms of sale
Démons et Merveille est une librairie qui propose des centaines de milliers de livres anciens, dvds, cds.... Nous tâchons d'être le plus objectifs possible en ce qui concerne les descriptions des ouvrages que nous vendons, si toutefois la commande ne correspondait pas à vos attentes, vous pourrez nous la retourner, vous serez alors intégralement remboursé.
Shipping terms
Les frais de port sont calculés sur la base d'un livre = un kilo. Au cas où les livres commandés seraient particulièrement lourds ou imposants, vous serez informés que des frais de transports supplémentaires sont nécessaires.