Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Specification and Verification of Concurrent Systems
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, o...
Projects in the Computing Curriculum
Dr Peter Milton, Director of Programme Review, Quality Assurance Agency I am grateful to the authors for giving me the opportunity to write this foreword, mainly because it represents the first occasion that the Fund for the Development of Teaching and Learning (FDTL) has led directly to a pUblication such as this. In my former capacity as Director of Quality Assessment at the Higher Education Funding Council for England (HEFCE), I chaired the FDTL Committee during 1996/7 and am delighted to see the projects which were selected so painstakingly leading to successful outcomes. Assessment of the quality of higher education (HE) was introduced in 1993 and was intended to improve public informat...
Software Engineering Education
While vols. III/29 A, B (published in 1992 and 1993, respectively) contains the low frequency properties of dielectric crystals, in vol. III/30 the high frequency or optical properties are compiled. While the first subvolume 30 A contains piezooptic and elastooptic constants, linear and quadratic electrooptic constants and their temperature coefficients, and relevant refractive indices, the present subvolume 30 B covers second and third order nonlinear optical susceptibilities. For the reader's convenience an alphabetical formula index and an alphabetical index of chemical, mineralogical and technical names for all substances of volumes 29 A, B and 30 A, B are included.
Proceedings
None
Ninth Conference on Software Engineering Education
Presents papers from the April 1996 conference, plus keynote speeches and lectures, looking at areas including undergraduate curriculum, software process improvement, undergraduate projects, graduate software engineering education curriculum, tools-based education, practitioner training, meeting pro
Tenth Conference on Software Engineering Education & Training
This volume contains papers presented at the 10th Conference on Software Engineering Education and Training."
