Cover image not available

On developing and verifying design abstractions for reliable concurrent programming in Ada

Alan Burns

Publication Data

Title On developing and verifying design abstractions for reliable concurrent programming in Ada
Author Alan Burns
Publisher University of Newcastle upon Tyne
Publication date 2001
Publication location Newcastle upon Tyne
Language English

Topics

Petri nets
Ada (Computer program language)

Catalogue Data

OBNB ID GBA212746
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 12 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

On developing and verifying design abstractions for reliable concurrent programming in Ada by Alan Burns. Published by University of Newcastle upon Tyne in 2001. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.