Deductive Program Design (Hardcover, 1996 ed.)


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.

R6,060

Or split into 4x interest-free payments of 25% on orders over R50
Learn more

Discovery Miles60600
Mobicred@R568pm x 12* Mobicred Info
Free Delivery
Delivery AdviceShips in 10 - 15 working days


Toggle WishListAdd to wish list
Review this Item

Product Description

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.

Customer Reviews

No reviews or ratings yet - be the first to create one!

Product Details

General

Imprint

Springer-Verlag

Country of origin

Germany

Series

NATO ASI Subseries F:, 152

Release date

June 1996

Availability

Expected to ship within 10 - 15 working days

First published

1996

Editors

Dimensions

235 x 155 x 26mm (L x W x T)

Format

Hardcover

Pages

470

Edition

1996 ed.

ISBN-13

978-3-540-60947-6

Barcode

9783540609476

Categories

LSN

3-540-60947-4



Trending On Loot