Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science, 1422) - Softcover
Synopsis
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered.
"synopsis" may belong to another edition of this title.
Search results for Mathematics of Program Construction: 4th International...
Seller Image
Mathematics of Program Construction : 4th International Conference, Mpc '98, Marstrand, Sweden, June 15-17, 1998 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 917807
Seller Image
Mathematics of Program Construction
Published by
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1998
ISBN 10: 3540645918
ISBN 13: 9783540645917
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1998 ed. Seller Inventory # LU-9783540645917
Buy New
US$ 85.05
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Mathematics of Program Construction : 4th International Conference, Mpc '98, Marstrand, Sweden, June 15-17, 1998 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 917807-n
Stock Image
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science, 1422)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540645917_new
Buy New
US$ 69.76
US$ 16.09 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540645917
Buy New
US$ 66.30
US$ 20.81 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Mathematics of Program Construction : 4th International Conference, Mpc '98, Marstrand, Sweden, June 15-17, 1998 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 917807-n
Buy New
US$ 69.72
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Mathematics of Program Construction: 4th International Conference, Mpc'98, Marstrand, Sweden, June 15-17, 1998, Proceedings (Paperback or Softback)
Published by
Springer 5/27/1998, 1998
ISBN 10: 3540645918
ISBN 13: 9783540645917
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Mathematics of Program Construction: 4th International Conference, Mpc'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Book. Seller Inventory # BBS-9783540645917
Seller Image
Mathematics of Program Construction : 4th International Conference, Mpc '98, Marstrand, Sweden, June 15-17, 1998 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 917807
Buy Used
US$ 77.37
US$ 20.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Mathematics of Program Construction
Published by
Springer Berlin Heidelberg, 1998
ISBN 10: 3540645918
ISBN 13: 9783540645917
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. This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC 98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions. Seller Inventory # 4896826
Buy New
US$ 58.07
US$ 57.10 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Mathematics of Program Construction
Published by
Springer Berlin Heidelberg Mai 1998, 1998
ISBN 10: 3540645918
ISBN 13: 9783540645917
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 -This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited contributions. The volume is devoted to the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; varoius approaches to formal methods for systems design and analysis are covered. 404 pp. Englisch. Seller Inventory # 9783540645917
Buy New
US$ 102.75
US$ 26.81 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available