Computer Science Software Engineering
Programming and Software Engineering
Free Preview
© 2005

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)
Buy eBook
  • 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)
Buy Softcover
  • 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

FAQ Policy

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 €
Show next xx
Read this book on SpringerLink

Buy this book

eBook 63,06 €
price for Spain (gross)
Buy eBook
  • 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)
Buy Softcover
  • 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

FAQ Policy
Loading...

Services for this Book

Facebook Twitter LinkedIn Google++

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
Springer-Verlag Berlin Heidelberg
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