Quantity:


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings (Lecture Notes in Computer Science) [Paperback]

I.V. Ramakrishnan (Editor)

Price:	$72.95 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Friday, February 24? Choose One-Day Shipping at checkout. Details

Book Description

Publication Date: March 26, 2001 | Series: Lecture Notes in Computer Science (Book 1990)

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Product Details

Paperback: 361 pages
Publisher: Springer; 1 edition (March 26, 2001)
Language: English
ISBN-10: 3540417680
ISBN-13: 978-3540417682
Product Dimensions: 9.1 x 6.1 x 0.8 inches
Shipping Weight: 1.2 pounds (View shipping rates and policies)
Amazon Best Sellers Rank: #9,927,575 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Inside This Book (learn more)

Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
timed logic processes, timed bisimilarity, partial answer set, multiple answer sets, plumbing module, alternating clause, annotated constraint logic programming, spatial annotations, evolution clause, ssd tracker, confidentiality attack, functional reactive programming, annotated formula, tuple centres, answer clause, timed bisimulation, reflection package, temporal annotations, using tabled resolution, suspension list, trail stack, trans rules, first choice point, unexplored alternatives, update constraints

Key Phrases - Capitalized Phrases (CAPs): (learn more)
Java Beans, Computer Science, International Conference, Springer-Verlag Berlin Heidelberg, Warehouse Location, Assumption Grammars, Extended Andorra Model, New Generation Computing, Lecture Notes, Santos Costa, International Workshop, Springer Verlag, Yale University, John Wiley, Modus Ponens, Morgan Kaufmann, New Mexico State University, Practical Aspects of Declarative Languages, Prentice Hall, The Practical Application Company, Web Gate, Academic Press, Brahim Hnich, Cambridge University Press, Computer Society Press

New!
Books on Related Topics | Concordance | Text Stats

Books on Related Topics (learn more)

Computer Science Handbook, Second Edition by Allen B. Tucker

Discusses:

Distributed Constraint Logic Programming by Ho-Fung Leung

Discusses:

The Logic Programming Paradigm by Krzysztof R. Apt

Discusses:

Handbook of Constraint Programming by Francesca Rossi

Discusses:

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }