Related Books

A Connotational Theory of Program Structure
Language: en
Pages: 188
Authors: James S. Royer
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
A Connotational Theory of Program Structure
Language: en
Pages: 196
Authors: James S. Royer
Categories: Computers
Type: BOOK - Published: 1987-08-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
Subrecursive Programming Systems
Language: en
Pages: 259
Authors: James S. Royer
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Advances in Petri Nets 1988
Language: en
Pages: 450
Authors: Grzegorz Rozenberg
Categories: Computers
Type: BOOK - Published: 1988-12-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most represent
Concurrency 88
Language: en
Pages: 412
Authors: Friedrich H. Vogt
Categories: Computers
Type: BOOK - Published: 1988-10-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hambu