Books

20+ results found
Title Authors Description OpenBook ID
Algebraic Foundations of Systems Specification Algebraic Foundations of Systems Specification Egidio Astesiano This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current top… OL19825381W
Asynchronous Circuits Asynchronous Circuits Janusz A. Brzozowski Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to un… OL19828534W
Coordination Models and Languages Coordination Models and Languages Rocco Nicola This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th Inter… OL19837987W
Duration Calculus Duration Calculus Zhou Chaochen Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons includ… OL19844313W
Elements of Distributed Algorithms Elements of Distributed Algorithms Wolfgang Reisig Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the informa… OL19846647W
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices Finite State Machine Logic Synthesis for Complex Programmable Logic Devices Robert Czerwinski <p>This book is a monograph devoted to logic synthesis and optimization for CPLDs. CPLDs' macrocell can also be interpreted as programmable AND-fixed OR structure, well known as PAL-based structure. … OL19850178W
First-Order Logic and Automated Theorem Proving First-Order Logic and Automated Theorem Proving Melvin Fitting This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog prog… OL19850264W
FME 2001: Formal Methods for Increasing Software Productivity FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe (10th 2001 Berlin, Germany) This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together… OL19850614W
Foundations of Software Science and Computation Structures Foundations of Software Science and Computation Structures Frank Pfenning This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conference… OL19851060W
Functional Decomposition with Applications to FPGA Synthesis Functional Decomposition with Applications to FPGA Synthesis Christoph Scholl During the last few years Field Programmable Gate Arrays (FPGAs) have become increasingly important. Thanks to recent breakthroughs in technology, FPGAs offer millions of system gates at low cost and… OL19851634W
Logic of Computation Logic of Computation Helmut Schwichtenberg The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, German… OL19884508W
Logic and Its Applications Logic and Its Applications Kamal Lodaya This book collects the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. <br>The 15 revised full papers presented to… OL19884517W
Mathematics in Computing Mathematics in Computing Gerard O'Regan <p>From the earliest examples of computation to the digital devices that are ubiquitous in modern society, the application of mathematics to computing has underpinned the technology that has built ou… OL19886426W
Modal and Temporal Properties of Processes Modal and Temporal Properties of Processes Colin Stirling This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: -process calculi for modeling concurrent … OL19888542W
Model-Based Methodologies for Pervasive and Embedded Software Model-Based Methodologies for Pervasive and Embedded Software Ricardo J. Machado This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Esse… OL19888551W
NASA Formal Methods NASA Formal Methods Guillaume Brat This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presente… OL19890005W
Petri Nets for Systems Engineering Petri Nets for Systems Engineering Claude Girault Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illus… OL19894240W
Reasoning in Boolean Networks Reasoning in Boolean Networks Wolfgang Kunz Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The… OL19898810W
Specification and Analysis of Concurrent Systems Specification and Analysis of Concurrent Systems Ryszard Janicki Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the las… OL19903305W
Logically Determined Design Logically Determined Design Karl Fant This seminal book presents a new logically determined design methodology for designing clockless circuit systems. The book presents the foundations, architectures and methodologies to implement such … OL9190616W
Next page