Deductive Program Design

Deductive Program Design
Author :
Publisher : Springer Science & Business Media
Total Pages : 490
Release :
ISBN-10 : 3540609474
ISBN-13 : 9783540609476
Rating : 4/5 (476 Downloads)
GET BOOK
Book Synopsis Deductive Program Design by : Manfred Broy

Download or read book Deductive Program Design written by Manfred Broy and published by Springer Science & Business Media. This book was released on 1996-06-18 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Deductive Program Design Related Books

Deductive Program Design
Language: en
Pages: 490

Deductive Program Design

Authors: Manfred Broy
Categories: Computers
Type: BOOK - Published: 1996-06-18 - Publisher: Springer Science & Business Media

GET EBOOK

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researche
Deductive Software Verification: Future Perspectives
Language: en
Pages: 345

Deductive Software Verification: Future Perspectives

Authors: Wolfgang Ahrendt
Categories: Computers
Type: BOOK - Published: 2020-12-08 - Publisher: Springer Nature

GET EBOOK

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY pr
Logic Programming
Language: en
Pages: 370

Logic Programming

Authors: I. Balbin
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journa
Theories of Programming
Language: en
Pages: 452

Theories of Programming

Authors: Cliff B. Jones
Categories: Computers
Type: BOOK - Published: 2021-09-26 - Publisher: Morgan & Claypool

GET EBOOK

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program v
FM'99 - Formal Methods
Language: en
Pages: 955

FM'99 - Formal Methods

Authors: Jeannette M. Wing
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

GET EBOOK

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industri