Skip to content

B'98: Recent Advances in the Development and Use of the B Method: Second
Stock Photo: Cover May Be Different

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedin Paperback - 1998 - 1998th Edition

by Bert Didier (Editor)


From the publisher

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.

Details

  • Title B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedin
  • Author Bert Didier (Editor)
  • Binding Paperback
  • Edition number 1998th
  • Edition 1998
  • Pages 320
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin
  • Date 1998-04-08
  • ISBN 9783540644057 / 3540644059
  • Weight 0.94 lbs (0.43 kg)
  • Dimensions 9.22 x 6.56 x 0.68 in (23.42 x 16.66 x 1.73 cm)
  • Library of Congress Catalog Number 98018094
  • Dewey Decimal Code 005.14
Back to Top

More Copies for Sale

B'98: Recent Advances in the Development and Use of the B Method: Second International B...
Stock Photo: Cover May Be Different

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)

by Bert Didier (Editor)

  • Used
  • Paperback
Condition
Used:Good
Edition
1998
Binding
Paperback
ISBN 10 / ISBN 13
9783540644057 / 3540644059
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£9.07
FREE shipping to USA

Show Details

Description:
Springer, 1998-05-22. 1998. Paperback. Used:Good.
Item Price
£9.07
FREE shipping to USA
B'98: Recent Advances in the Development and Use of the B Method: Second International B...
Stock Photo: Cover May Be Different

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)

by Didier, Bert [Editor]

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540644057 / 3540644059
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£10.43
£4.85 shipping to USA

Show Details

Description:
Springer, 1998-05-22. Paperback. Very Good. 9x5x0. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Item Price
£10.43
£4.85 shipping to USA
B'98: Recent Advances in the Development and Use of the B Method: Second International B...

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier France April 22-24 1998 Proceedings

by Didier Bert

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540644057 / 3540644059
Quantity Available
1
Seller
Joinville, France
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£21.68
£8.01 shipping to USA

Show Details

Description:
Springer, 2008. 15x23x2cm. 2008. Broché. 328 pages. 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
Item Price
£21.68
£8.01 shipping to USA
B'98: Recent Advances in the Development and Use of the B Method : Second International B...
Stock Photo: Cover May Be Different

B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

by Bert Didier

  • New
Condition
New
ISBN 10 / ISBN 13
9783540644057 / 3540644059
Quantity Available
62
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£53.13
£7.99 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings.
Item Price
£53.13
£7.99 shipping to USA
B'98: Recent Advances in the Development and Use of the B Method: Second International B...
Stock Photo: Cover May Be Different

B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

by Bert Didier

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540644057 / 3540644059
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£58.39
£9.95 shipping to USA

Show Details

Description:
Paperback / softback. New. 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.
Item Price
£58.39
£9.95 shipping to USA
B'98: Recent Advances in the Development and Use of the B Method: Second International B...
Stock Photo: Cover May Be Different

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)

by Didier, Bert [Editor]

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540644057 / 3540644059
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£104.43
£12.14 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x0x9. Brand New Book in Publishers original Sealing
Item Price
£104.43
£12.14 shipping to USA