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

Bert Didier

ISBN 10: 3540644059 ISBN 13: 9783540644057

Edit� par Springer, 1998

Neuf(s) Taschenbuch

Vendeur preigu, Osnabr�ck, Allemagne �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 5 ao�t 2024

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

Signaler cet article

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : B'98: Recent Advances in the Development and...
�diteur : Springer
Date d'�dition : 1998
Reliure : Taschenbuch
Etat : Neu

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

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

Didier Bert

Edit� par Springer, 2008

ISBN 10 : 3540644059 ISBN 13 : 9783540644057

Ancien ou d'occasion Couverture souple

Vendeur : D�mons & Merveilles, Joinville, France

�valuation du vendeur 5 sur 5 �toiles

Etat : Fine. 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. N� de r�f. du vendeur 500008177

Contacter le vendeur

Acheter D'occasion

EUR 25

Exp�dition �EUR 22
Exp�dition depuis France vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

B 98: Recent Advances in the Development and Use of the B Method

Bert, Didier

Edit� par Springer Berlin Heidelberg, 1998

ISBN 10 : 3540644059 ISBN 13 : 9783540644057

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : 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. N� de r�f. du vendeur 4896748

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

B'98: Recent Advances in the Development and Use of the B Method

Bert Didier

Edit� par Springer, Springer Apr 1998, 1998

ISBN 10 : 3540644059 ISBN 13 : 9783540644057

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540644057

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Bert Didier

Edit� par Springer Berlin Heidelberg, 1998

ISBN 10 : 3540644059 ISBN 13 : 9783540644057

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9783540644057

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 62,50
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

B'98: Recent Advances in the Development and Use of the B Method

Bert Didier

Edit� par Springer Berlin Heidelberg, Springer Apr 1998, 1998

ISBN 10 : 3540644059 ISBN 13 : 9783540644057

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540644057

Contacter le vendeur