Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Programming and Software Engineering

Multiparadigm Programming in Mozart/Oz

Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

Editors: Van Roy, Peter (Ed.)

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-540-31845-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-25079-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (26 chapters)

  • The Development of Oz and Mozart

    Smolka, Gert

    Pages 1-1

    Preview Buy Chapter 30,19 €
  • The Structure of Authority: Why Security Is Not a Separable Concern

    Miller, Mark S. (et al.)

    Pages 2-20

    Preview Buy Chapter 30,19 €
  • The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language

    Spiessens, Fred (et al.)

    Pages 21-40

    Preview Buy Chapter 30,19 €
  • A Program Verification System Based on Oz

    Dony, Isabelle (et al.)

    Pages 41-52

    Preview Buy Chapter 30,19 €
  • Higher Order Programming for Unordered Minds

    Reinfelds, Juris

    Pages 53-65

    Preview Buy Chapter 30,19 €

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-540-31845-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-25079-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Multiparadigm Programming in Mozart/Oz
Book Subtitle
Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Editors
  • Peter Van Roy
Series Title
Programming and Software Engineering
Series Volume
3389
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-3-540-31845-3
DOI
10.1007/b106627
Softcover ISBN
978-3-540-25079-1
Edition Number
1
Number of Pages
XVI, 336
Topics