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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 5 août 2024


A propos de cet article

Description :

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 | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540644057 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 101931537

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

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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Bert Didier
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Acheter neuf

EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Didier, Bert
Edité par Springer 1998-04, 1998
ISBN 10 : 3540644059 ISBN 13 : 9783540644057
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540644057

Contacter le vendeur

Acheter neuf

EUR 56,81
Expédition à EUR 17,87
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Bert, Didier (EDT)
Edité par Springer, 1998
ISBN 10 : 3540644059 ISBN 13 : 9783540644057
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 917722

Contacter le vendeur

Acheter D'occasion

EUR 58,56
Expédition à EUR 2,27
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Bert, Didier (EDT)
Edité par Springer, 1998
ISBN 10 : 3540644059 ISBN 13 : 9783540644057
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 917722-n

Contacter le vendeur

Acheter neuf

EUR 59,77
Expédition à EUR 17,31
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 1998
ISBN 10 : 3540644059 ISBN 13 : 9783540644057
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540644057_new

Contacter le vendeur

Acheter neuf

EUR 60,37
Expédition à EUR 13,82
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Bert, Didier (EDT)
Edité par Springer, 1998
ISBN 10 : 3540644059 ISBN 13 : 9783540644057
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 917722

Contacter le vendeur

Acheter D'occasion

EUR 64,91
Expédition à EUR 17,31
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre