"C in a Nutshell is the book every C programmer will want nearby when writing code. C experts Peter Prinz and Tony Crawford have jammed in a wealth of ready-reference material that is clear and to the point. No wasted words here!. - "Also included are chapters to cement your und…
One of the first textbooks to be fully up-to-date with the new and expanded UML 2.0 standard, this is an ideal introduction to the Unified Modelling Language for students learning about object and component-based software design and development. The book encourages a pragmatic a…
In this book state transitions are used as a formal technique for the specification of virtual machines throughout and - in addition - transitions and state transitions relating to the general operation are included for specification of the virtual machine for the event-based sy…
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2004, held in Jouy-en-Josas, France in December 2004. The 17 revised full papers presented were carefully reviewed and selected from 33 submissio…
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found athttp://www.cs.brown.edu/people/pvh…
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The 14 revised full papers presented, including those by the six invit…
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised?ve conferences (CC, ESOP, FA…
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This vol…
