Mathematics of Program Construction / Lecture Notes in Computer Science Bd.2386 (PDF)
6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Mathematics of Program Construction / Lecture Notes in Computer Science Bd.2386 (PDF)“
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Bibliographische Angaben
- 2003, 2002, 263 Seiten, Englisch
- Herausgegeben: Eerke A. Boiten, Bernhard Möller
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 354045442X
- ISBN-13: 9783540454427
- Erscheinungsdatum: 02.08.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.73 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Mathematics of Program Construction / Lecture Notes in Computer Science Bd.2386"
Schreiben Sie einen Kommentar zu "Mathematics of Program Construction / Lecture Notes in Computer Science Bd.2386".
Kommentar verfassen