Verwandte Artikel zu B'98: Recent Advances in the Development and Use...
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, ... Notes in Computer Science, 1393, Band 1393) - 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.
Suchergebnisse für B'98: Recent Advances in the Development and Use...
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: 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. Bestandsnummer des Verkäufers 500008177
Gebraucht kaufen
EUR 25,00
EUR 22,00 Versand
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 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 60,17
EUR 2,32 Versand
Versand innerhalb von USA
Versand innerhalb von 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 1998, Proceedings
Verlag:
Springer Berlin / Heidelberg, 1998
ISBN 10: 3540644059
ISBN 13: 9783540644057
Gebraucht
Softcover
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers 68271222-75
Gebraucht kaufen
EUR 65,83
Versand gratis
Versand innerhalb von USA
Versand innerhalb von 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, Proceedi
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540644057
Neu kaufen
EUR 57,27
EUR 18,02 Versand
Versand von Vereinigtes Königreich nach USA
Versand 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
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
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand 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: New. Bestandsnummer des Verkäufers 917722-n
Neu kaufen
EUR 60,25
EUR 17,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand 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 : 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 75,92
EUR 2,32 Versand
Versand innerhalb von USA
Versand innerhalb von 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 English. Bestandsnummer des Verkäufers ria9783540644057_new
Neu kaufen
EUR 67,03
EUR 13,13 Versand
Versand von Vereinigtes Königreich nach USA
Versand 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 : 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,70
EUR 17,45 Versand
Versand von Vereinigtes Königreich nach USA
Versand 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
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4896748
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar