B'98 - Recent Advances In the Development and Use Of the B Method
de Didier, Bert
Ejemplares disponibles
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)
de Didier, Bert [Editor]
- Estado
- Usado - Very Good
- Published
- 1998-05-22
- Encuadernación
- Paperback
- ISBN
- 9783540644057
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, USA
- Precio
-
EUR 11.99
Mostrar detalles
Descripción:
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. Precio
EUR 11.99
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
de Bert Didier
- Estado
- New
- Encuadernación
- Paperback / softback
- ISBN
- 9783540644057
- Cantidad disponible
- 1
- Librería
-
Southport, Merseyside, GBR
- Precio
-
EUR 69.50
Mostrar detalles
Descripción:
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. Precio
EUR 69.50