Join Books.org — it's free
Home > Books > Deductive Program Design

Logic, Logic & Foundations of Mathematics, Computer Architecture/Engineering, Parallel, Distributed, and Supercomputing
Deductive Program Design by Manfred Broy — book cover

Deductive Program Design

by Manfred Broy
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

Overview

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.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
July 31, 2012
Publisher
Springer-Verlag New York, LLC
Pages
480
Format
Paperback
ISBN
9783642648496

More by Manfred Broy

Software Pioneers: Contributions to Software Engineering
Software Pioneers: Contributions to Software Engineering
Models, Algebras and Logic of Engineering Software, Vol. 191
Models, Algebras and Logic of Engineering Software, Vol. 191
Formal Systems Specification, Vol. 116
Formal Systems Specification, Vol. 116
Perspectives of Systems Informatics
Perspectives of Systems Informatics
Methods of Programming
Methods of Programming
Model-Based Testing of Reactive Systems
Model-Based Testing of Reactive Systems
Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Calculational System Design, Vol. 173
Calculational System Design, Vol. 173
Program Design Calculi
Program Design Calculi

Similar books

Collectives and Design of Complex Systems
Collectives and Design of Complex Systems
Architectural Design of Multi-Agent Systems: Technologies and Techniques
Architectural Design of Multi-Agent Systems: Technologies and Techniques
Cloud Computing and SOA Convergence in Your Enterprise: A Step-by-Step Guide (Addison-Wesley Information Technology Series)
Cloud Computing and SOA Convergence in Your Enterprise: A Step-by-Step Guide (Addison-Wesley Information Technology Series)
High Performance Embedded Architectures and Compilers
High Performance Embedded Architectures and Compilers
Multiscalar Processors
Multiscalar Processors
Virtual Shared Memory for Distributed Architectures
Virtual Shared Memory for Distributed Architectures
Learning WCF
Learning WCF
Ruling Distributed Dynamic Worlds
Ruling Distributed Dynamic Worlds
Programming and Customizing the Multicore Propeller Microcontroller: The Official Guide
Programming and Customizing the Multicore Propeller Microcontroller: The Official Guide
Professional Multicore Programming: Design and Implementation for C++ Developers
Professional Multicore Programming: Design and Implementation for C++ Developers