Macromedia Studio MX 2004 All in One Desk Reference or Handbook of Logic in Computer Science

Macromedia Studio MX 2004 All-in-One Desk Reference

Author: Andy Cowitt

Macromedia Studio MX 2004 All-in-One Desk Reference For Dummies provides a one-stop reference for users looking to harness the power of this Web building suite. The book covers each of the core applications in Studio MX including Dreamweaver, Flash, Freehand, Fireworks, ColdFusion and, newly added to this edition, Contribute. Macromedia Studio MX 2004 All-in-One Desk Reference For Dummies also contains coverage on using all the applications together in a single Web building project as well as an overview of the basics of good Web design. This book, like the product itself, should appeal to both professional and hobbyist Web builders who want a single product that can do the work of six or seven separate products.

Interesting book: Dissecting a C Application or Step by Step Composition Techniques for Digital Photographers

Handbook of Logic in Computer Science: Semantic Modelling, Vol. 4

Author: Samson Abramsky

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.

Table of Contents:

	List of contributors
	Models for concurrency	1
	Concrete process algebra	149
	Correspondence between operational and denotational semantics: the full abstraction problem for PCF	270
	Effective algebras	357
	Abstract interpretation: a semantics-based tool for program analysis	527
	Index	637