Items related to ZB 2003: Formal Specification and Development in Z...
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: 2651 (Lecture Notes in Computer Science, 2651) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes 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.
"About this title" may belong to another edition of this title.
Search results for ZB 2003: Formal Specification and Development in Z...
Stock Image
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
Published by
Springer-Verlag, New York City, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
Used
Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: 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]. Seller Inventory # 010631
Stock Image
Zb 2003 - Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 2003, Proceedings
Published by
Springer Berlin / Heidelberg, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 55756709-6
Stock Image
ZB 2003: Formal Specification and Development in Z
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-320708
Stock Image
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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540402534_new
Buy New
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
ZB 2003: Formal Specification and Development in Z and B
Published by
Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540402534
Seller Image
ZB 2003: Formal Specification and Development in Z and B
Published by
Springer Berlin Heidelberg, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4888669
Buy New
£ 81.40
£ 41.96 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
ZB 2003
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 568. Seller Inventory # 263065191
Stock Image
ZB 2003
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 568 Illus. Seller Inventory # 5864120
Buy New
£ 132.50
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
Published by
Springer-Verlag New York Inc, 2003
ISBN 10: 3540402535
ISBN 13: 9783540402534
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 547 pages. 9.00x6.00x1.25 inches. In Stock. Seller Inventory # x-3540402535
Buy New
£ 131.11
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
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
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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 Print on Demand. Seller Inventory # 102527060