Algebraically specified programming systems and Hoare's logic / by J. A. Bergstra and J. V. Tucker - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Algebraically specified programming systems and Hoare's logic / by J. A. Bergstra and J. V. Tucker

Algebraically specified programming systems and Hoare's logic / by J. A. Bergstra and J. V. Tucker

http://data.bibliotheken.nl/id/nbt/p060222751

6d2be8cc27a14e831480d98983d9c72b

mainEntity

Algebraically specified programming systems and Hoare's logic / by J. A. Bergstra and J. V. Tucker

http://data.bibliotheken.nl/id/nbt/p060222751

author

bookEdition

Prepr.

http://www.w3.org/2001/XMLSchema#string

contributor

a50fefbdc016a02ffc0500cbdc43de72

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

6d2be8cc27a14e831480d98983d9c72b

name

Algebraically specified programming systems and Hoare's logic

http://www.w3.org/2001/XMLSchema#string

numberOfPages

25

http://www.w3.org/2001/XMLSchema#integer

publication

5dcee9e497d6dc32e706ae1c60c117b0

sameAs

type

label

Algebraically specified progra ...... . A. Bergstra and J. V. Tucker

http://www.w3.org/2001/XMLSchema#string