B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings: 1393 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für B'98: Recent Advances in the Development and Use...
Beispielbild für diese ISBN
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)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers UTD1423675
Foto des Verkäufers
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier France April 22-24 1998 Proceedings
Anbieter: Démons & Merveilles, Joinville, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 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. Very Good. Bestandsnummer des Verkäufers 500008177
Gebraucht kaufen
EUR 25,00
Versand:
EUR 22,00
Von Frankreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020173341
Neu kaufen
EUR 52,68
Versand:
EUR 3,43
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 917722-n
Neu kaufen
EUR 53,86
Versand:
EUR 2,27
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 917722
Gebraucht kaufen
EUR 59,97
Versand:
EUR 2,27
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
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)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540644057_new
Neu kaufen
EUR 58,10
Versand:
EUR 13,71
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
B'98: Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedi
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540644057
Neu kaufen
EUR 56,34
Versand:
EUR 17,72
Von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 917722-n
Neu kaufen
EUR 58,09
Versand:
EUR 17,16
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
B'98: Recent Advances in the Development and Use of the B Method
Verlag:
Springer Berlin Heidelberg, Springer Apr 1998, 1998
ISBN 10: 3540644059
ISBN 13: 9783540644057
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540644057
Neu kaufen
EUR 53,49
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
B'98 : Recent Advances in the Development and Use of the B Method : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 917722
Gebraucht kaufen
EUR 65,69
Versand:
EUR 17,16
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar