Formal Description of Programming Concepts (1991)Hardcover - 1991, 4 October 1991

Name: Formal Description of Programming Concepts (1991)
Availability: InStock
ISBN: 3540539611

Qty

Regular

Free Delivery 12 Feb - 21 Feb

AED 605.05

Was: AED 1,062.00

43% OFF

Wait and Save

Free Delivery 22 Feb - 28 Feb

AED 556.85

Was: AED 1,062.00

47% OFF

Turbo

Ships in 2 - 3 days

In Stock

Free Delivery

Cash on Delivery

15 Days

Free Returns

Secure Checkout

Part of Series

Ifip State-Of-The-Art Reports

Part of Series

Lecture Notes in Engineering

Print Length

508 pages

Date Published

4 Oct 1991

ISBN-10

3540539611

ISBN-13

9783540539612

Description

This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.

Product Details

Book Edition:

1991

Book Format:

Hardcover

Country of Origin:

Date Published:

4 October 1991

Dimensions:

25.4 x 17.78 x 2.87 cm

ISBN-10:

3540539611

ISBN-13:

9783540539612

Language:

English

Location:

Berlin, Heidelberg

Pages:

508

Publisher:

Springer

Series:

Ifip State-Of-The-Art Reports Lecture Notes in Engineering

Weight:

1115.84 gm

Description

Product Details

Related Categories