Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
caret-down
Allcaret-down
cartcart

Deductive Program Design (Nato ASI Subseries F:)

 
From Manfred Broy
Deductive Program Design (Nato ASI Subseries F:)

Description


Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Product details

EAN/ISBN:
9783540609476
Edition:
1996
Medium:
Bound edition
Number of pages:
470
Publication date:
1996-06-18
Publisher:
Springer
Manufacturer:
Unknown
EAN/ISBN:
9783540609476
Edition:
1996
Medium:
Bound edition
Number of pages:
470
Publication date:
1996-06-18
Publisher:
Springer
Manufacturer:
Unknown

Shipping

laposte
Buy on Amazon
The edition supplied may vary.
Currently sold out

More from Manfred Broy

momox books logo
Customer Service
    Hotline
    • +49 30 488 288 200+49 30 488 288 200
    • Monday - Friday: 09.00 - 18.00 hr


    International


    Order safely


    medimops magazine
    About us
    Newsletter
    Special offers, vouchers and much more! Subscribe to the newsletter and get a one-off 10% discount on your next purchase. By subscribing to the newsletter, you consent to your data being used by advertising partners for newsletter tracking and cross-channel advertising purposes in order to provide you with personalized recommendations and advertising. You can revoke your consent at any time with future effect. You can find further information in the data protection declaration.
    Do you want to find out more?
    Secure payment
    paypalvisamastercardamexcartebleue
    Shipping partner
    laposte
    You can also find us here
    • instagram
    • facebook

    © 2025 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.