Search results

This is the first introductory textbook on Spin, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has de...

Crash Course in Digital Technology teaches the basics of digital electronics theory and circuits in an easy-to-understand format. Each chapter includes learning objectives, clear explanations and examples, and an end-of-chapter self-quiz. The drill-and-review software included with the book allows learners to test themselves on the contents of each chapter, providing a second reinforcement of the material. A final chapter teaches the basics of troubleshooting digital circuits. With the two ot...

The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur- rency by partially ordered sets. Occurrence nets - which are special n...

This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September...

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in...

This book is the first of a new, seven volume series which aims to provide a comprehensive description of basic methods and technologies related to CAD for VLSI. The series includes up-to-date results and latest developments, with a good balance between theoretical and practical aspects of VLSI design. In this volume emphasis is placed on the basics of modeling, the opening chapters being devoted to fundamental process and device modeling. The following chapters cover different aspects of device...

Using MultiSIM provides everything users need to transform a personal computer into a virtual electronics technician's workbench where digital circuits can be built and tested, and on-going analyses may performed as circuits are modified. This 224-page workbook reinforces "must-know" digital theory by providing opportunities to measure, analyze and troubleshoot a variety of digital circuits in the safety of a state-of-the-art, highly interactive computer environment. Complete coverage of essenti...

This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to understand VLSI design flows. Coverage includes key concepts in CMOS digital design, design of DSP and communication blocks on FPGAs, ASIC front end and physical design, and analog and mixed signal design. The approach is designed to focus on practical implementation of key elements of the VLSI design process, in order to make the topic accessible...

The usual usual "implementation" "implementation" ofreal numbers as floating point numbers on exist- iing ng computers computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. For numerical algorithms there are frequently error bounds for the computed approximation available. Traditionally a bound for the infinity norm is estima- ted using ttheoretical h...