Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Notes in Computer Science, 2651, Band 2651) - Softcover
Inhaltsangabe
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Zb 2003: Formal Specification and Development in Z...
Beispielbild für diese ISBN
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, 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 very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers UTD14a-1041
Gebraucht kaufen
EUR 11,88
EUR 5,97 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Zb 2003 - Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 2003, Proceedings
Verlag:
Springer Berlin / Heidelberg, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers 55756709-6
Gebraucht kaufen
EUR 23,41
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
ZB 2003 : Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 Proceedings
Verlag:
Springer-Verlag, New York City, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
Gebraucht
Hardcover
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm]. Bestandsnummer des Verkäufers 010631
Gebraucht kaufen
EUR 62,62
EUR 4,69 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science, 2651)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540402534_new
Neu kaufen
EUR 114,33
EUR 13,83 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
ZB 2003: Formal Specification and Development in Z and B
Verlag:
Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
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 -The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. 568 pp. Englisch. Bestandsnummer des Verkäufers 9783540402534
Neu kaufen
EUR 106,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
ZB 2003: Formal Specification and Development in Z and B
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. The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion i. Bestandsnummer des Verkäufers 4888669
Neu kaufen
EUR 92,27
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
ZB 2003
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 568. Bestandsnummer des Verkäufers 263065191
Neu kaufen
EUR 149,34
EUR 3,41 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
ZB 2003
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 568 Illus. Bestandsnummer des Verkäufers 5864120
Neu kaufen
EUR 152,30
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
ZB 2003
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 568. Bestandsnummer des Verkäufers 183065197
Neu kaufen
EUR 153,99
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
ZB 2003: Formal Specification and Development in Z and B | Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. ZB 2003: Formal Specification and Development in Z and B | Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings | Didier Bert (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540402534 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 102527060
Neu kaufen
EUR 95,70
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar