Deductive Program Design (Paperback, Softcover reprint of the original 1st ed. 1996)


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.

R5,816

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

Discovery Miles58160
Mobicred@R545pm 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

September 2011

Availability

Expected to ship within 10 - 15 working days

First published

1996

Editors

Dimensions

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

Format

Paperback

Pages

470

Edition

Softcover reprint of the original 1st ed. 1996

ISBN-13

978-3-642-64849-6

Barcode

9783642648496

Categories

LSN

3-642-64849-5



Trending On Loot