

Hero image 0 of Lecture Notes in Computer Science B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, Book 1393, (Paperback), 0 of 1
Lecture Notes in Computer Science B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, Book 1393, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, Book 1393, (Paperback)
- Author: Springer
- ISBN: 9783540644057
- Format: Paperback
- Publication Date: 1998-04-08
- Page Count: 320
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateApril, 1998
- Pages320
- Number in series1393
Current price is USD$54.29
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Ships to
Arrives by Thu, Apr 30
.Order within 6 hr 7 min
Sold and shipped by Walmart.com
Free 90-day returns - in store or online
This item is gift eligible
More seller options (3)
Starting from $54.29
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
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.
- Lecture Notes in Computer Science B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, Book 1393, (Paperback)
- Author: Springer
- ISBN: 9783540644057
- Format: Paperback
- Publication Date: 1998-04-08
- Page Count: 320
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
April, 1998
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Relational Methods in Computer Science: 6th International Conference, Relmics 2001 and 1st Workshop of Cost Action 274 T, Book 2561, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Relational Methods in Computer Science: 6th International Conference, Relmics 2001 and 1st Workshop of Cost Action 274 T, Book 2561, (Paperback)
Lecture Notes in Computer Science Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Pr, Book 1212, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Pr, Book 1212, (Paperback)
NATO Science Series C: Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. B, Book 91, (Paperback) $54.99
$5499current price $54.99NATO Science Series C: Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. B, Book 91, (Paperback)
Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June, Book 735, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June, Book 735, (Paperback)
Lecture Notes in Computer Science Esec '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings, Book 289, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Esec '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings, Book 289, (Paperback)
Lecture Notes in Computer Science Advances in Object-Oriented Information Systems: Oois 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings, Book 2426, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Advances in Object-Oriented Information Systems: Oois 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings, Book 2426, (Paperback)
B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-, (Paperback) $54.99
$5499current price $54.99B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-, (Paperback)
Lecture Notes in Computer Science Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les- Bains, Reunio, Book 2422, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les- Bains, Reunio, Book 2422, (Paperback)
Lecture Notes in Computer Science Smart Card. Research and Applications: Third International Conference, Cardis'98 Louvain-La-Neuve, Belgium, September 14, Book 1820, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Smart Card. Research and Applications: Third International Conference, Cardis'98 Louvain-La-Neuve, Belgium, September 14, Book 1820, (Paperback)
Lecture Notes in Computer Science The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings, Book 207, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings, Book 207, (Paperback)
Lecture Notes in Computer Science Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access: 6th International Conference on , Book 2911, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access: 6th International Conference on , Book 2911, (Paperback)
Lecture Notes of the Institute for Compu Context-Aware Systems and Applications, and Nature of Computation and Communication: 8th Eai International Conference, I, Book 298, (Paperback) $49.82
$4982current price $49.82Lecture Notes of the Institute for Compu Context-Aware Systems and Applications, and Nature of Computation and Communication: 8th Eai International Conference, I, Book 298, (Paperback)
Lecture Notes in Computer Science Database Programming Languages: 6th International Workshop, Dbpl-6, Estes Park, Colorado, Usa, August 18-20, 1997, Book 1369, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Database Programming Languages: 6th International Workshop, Dbpl-6, Estes Park, Colorado, Usa, August 18-20, 1997, Book 1369, (Paperback)
Lecture Notes in Computer Science Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, Book 3132, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, Book 3132, (Paperback)
Lecture Notes in Computer Science Culture and Computing: 13th International Conference, C&c 2025, Held as Part of the 27th Hci International Conference, H, Book 15800, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Culture and Computing: 13th International Conference, C&c 2025, Held as Part of the 27th Hci International Conference, H, Book 15800, (Paperback)
Lecture Notes in Computer Science Ecoop 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings, Book 4067, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Ecoop 2006 - Object-Oriented Programming: 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings, Book 4067, (Paperback)
Lecture Notes in Computer Science Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, , Book 1616, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, , Book 1616, (Paperback)
NATO Science Series B: Recent Advances in Group Theory and Their Application to Spectroscopy, Book 43, (Paperback) $54.99
$5499current price $54.99NATO Science Series B: Recent Advances in Group Theory and Their Application to Spectroscopy, Book 43, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint Euro, Book 1783, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint Euro, Book 1783, (Paperback)
Lecture Notes in Computer Science Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and, Book 977, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and, Book 977, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
