ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
J. A. Bergstra has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
cover image for 9780444828309
Product Description: Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra...read more (view table of contents, read Amazon.com's description)
By J. A. Bergstra (editor), A. Ponse (editor) and Scott A. Smolka (editor)
Edition summary (click for prices and details):

Hardcover:

9780444828309 | Elsevier Science Ltd, March 16, 2001, cover price $315.00 | About this edition: Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components.

Miscellaneous:

9780080533674 | Elsevier Science, March 16, 2001, cover price $260.00

2
Product Description: The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures...read more
Edition summary (click for prices and details):

Paperback:

9780387539126 | Springer Verlag, May 1, 1991, cover price $67.95 | About this edition: The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction.

3
Edition summary (click for prices and details):

Hardcover:

9780201416350 | Assn for Computing Machinery, February 1, 1989, cover price $45.00

displaying 1 to 3 | at end