Description:
Berlin: Springer-Verlag, 1991. Lecture Notes in Computer Science 493; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
Stock Photo: Cover May Be Different
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume Paperback - 1991 - 1991st Edition
by S. Abramsky (Editor); T. S. Maibaum (Editor)
First line
In recent years, many models of concurrent computation based upon partial orders have been proposed in the literature, e.g. Petri Nets [Rei85], Event Structures [Win80,87], Pom-sets [Pr86] and, more recently, Causal Trees [DD89].
Details
- Title Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume
- Author S. Abramsky (Editor); T. S. Maibaum (Editor)
- Binding Paperback
- Edition number 1991st
- Edition 1991
- Pages 455
- Volumes 1
- Language ENG
- Publisher Springer, Berlin
- Date 1991-03-28
- ISBN 9783540539827 / 3540539824
- Weight 1.43 lbs (0.65 kg)
- Dimensions 9.21 x 6.14 x 0.94 in (23.39 x 15.60 x 2.39 cm)
- Library of Congress Catalog Number 91172441
- Dewey Decimal Code 005.1
More Copies for Sale
Stock Photo: Cover May Be Different
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991; Volume 1: Colloquium on Trees in Algebraand Programming (CAAP '91) (Lecture Notes in Computer Science 493)
by Abramsky, S.; Maibaum, Thomas S. E. (eds.)
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540539827 / 3540539824
- Quantity Available
- 1
- Seller
-
Didcot, Oxfordshire, United Kingdom
- Item Price
-
£6.38£9.50 shipping to USA
Show Details
Item Price
£6.38
£9.50
shipping to USA
Stock Photo: Cover May Be Different
TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91) (Lecture Notes in Computer Science)
by Abramsky, S. [Editor]; Maibaum, T.S.E. [Editor];
- Used
- very good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540539827 / 3540539824
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
£11.66£4.85 shipping to USA
Show Details
Description:
Springer, 1991-05-03. Paperback. Very Good. 6x1x9. Ex-library paperback in nice condition with the usual markings and attachments.
Item Price
£11.66
£4.85
shipping to USA
TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming
by S. Abramsky
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540539827 / 3540539824
- Quantity Available
- 827
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
£53.13£7.99 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming.
Item Price
£53.13
£7.99
shipping to USA
Stock Photo: Cover May Be Different
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
by Samson Abramsky
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540539827 / 3540539824
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
£59.89£9.95 shipping to USA
Show Details
Description:
Paperback / softback. New. - Application of discrete structures in computer science: syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of structured objects.
Item Price
£59.89
£9.95
shipping to USA
Stock Photo: Cover May Be Different
TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91) (Lecture Notes in Computer Science)
by S. Abramsky (Editor), T.S.E. Maibaum (Editor)
- Used
- Paperback
- Condition
- Used:Good
- Edition
- 1991
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540539827 / 3540539824
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
£117.65FREE shipping to USA
Show Details
Description:
Springer, 1991-05-03. 1991. Paperback. Used:Good.
Item Price
£117.65
FREE shipping to USA
Stock Photo: Cover May Be Different
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991: Volume ... '91) (Lecture Notes in Computer Science, 493)
by Abramsky, S. [Editor]; Maibaum, T.S.E. [Editor];
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540539827 / 3540539824
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
£136.00£12.14 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
£136.00
£12.14
shipping to USA