Practical Aspects of Declarative Languages / Lecture Notes in Computer Science Bd.1990 (PDF)
Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001.The 23 revised full papers presented were carefully reviewed and...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Practical Aspects of Declarative Languages / Lecture Notes in Computer Science Bd.1990 (PDF)“
This book constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001.The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.
Bibliographische Angaben
- 2003, 2001, 352 Seiten, Englisch
- Herausgegeben: I. V. Ramakrishnan
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540452419
- ISBN-13: 9783540452416
- Erscheinungsdatum: 29.06.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Practical Aspects of Declarative Languages / Lecture Notes in Computer Science Bd.1990"
Schreiben Sie einen Kommentar zu "Practical Aspects of Declarative Languages / Lecture Notes in Computer Science Bd.1990".
Kommentar verfassen