Deductive Program Design

Springer Verlag (1996)
  Copy   BIBTEX

Abstract

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

3540609474   9783540609476

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Electronic Logic Systems.A. E. A. Almaini - 1989
Research on computer static software defect detection system based on big data technology.Rahul Neware, Jyoti Bhola, K. Arumugam, Jianxing Zhu & Zhaoxia Li - 2022 - Journal of Intelligent Systems 31 (1):1055-1064.
Effective Logic Computation.K. Truemper - 1998 - Wiley-Interscience.
DLP - A Language for Distributed Logic Programming: Design, Semantics and Implementation.Anton Eli?ns - 1992 - Universiteit van Amsterdam.
Design of Computers and Other Complex Digital Devices.Sunggu Lee - 2000 - Pearson Education.
Schaum's Outline of Introduction to Digital Systems.James E. Palmer & David E. Perlman - 1993 - McGraw Hill Professional.
Proof and Design.Michael P. Fourman - 1995 - Lfcs, Dept. Of Computer Science, University of Edinburgh.
The Design of Logical Machines.Jean Florine - 1973
Modern Digital Design.Richard S. Sandige - 1990 - McGraw-Hill Science, Engineering & Mathematics.
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers.Leslie Lamport - 2003 - Addison-Wesley.

Analytics

Added to PP
2015-02-13

Downloads
4 (#1,808,738)

6 months
2 (#1,696,787)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references