Skip to content

Tapsoft '95: Theory and Practice of Software Development: 6th International
Stock Photo: Cover May Be Different

Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding Paperback - 1995

by Peter D. Mosses (Editor); Mogens Nielsen (Editor); Michael I. Schwartzbach (Editor)


From the publisher

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

First line

The idea to have a joint conference on theory and practice of software development was bom following the offer to organize the 1985 Colloquium on Trees in Algebra and Programming (CAAP) in Berlin.

Details

  • Title Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding
  • Author Peter D. Mosses (Editor); Mogens Nielsen (Editor); Michael I. Schwartzbach (Editor)
  • Binding Paperback
  • Edition 1st
  • Pages 820
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 1995-05-03
  • ISBN 9783540592938 / 3540592938
  • Weight 2.53 lbs (1.15 kg)
  • Dimensions 9.21 x 6.14 x 1.66 in (23.39 x 15.60 x 4.22 cm)
  • Library of Congress Catalog Number 95015959
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference...
Stock Photo: Cover May Be Different

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings (Lecture Notes in Computer Science)

by Mosses, Peter D. [Editor]; Nielsen, Mogens [Editor]; Schwartzbach, Michael I. [Editor];

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£31.47
£4.85 shipping to USA

Show Details

Description:
Springer, 1995-06-08. Paperback. Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Item Price
£31.47
£4.85 shipping to USA
TAPSOFT *95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT - PROCEEDINGS OF THE 6TH INTERNATIONAL...
Stock Photo: Cover May Be Different

TAPSOFT *95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT - PROCEEDINGS OF THE 6TH INTERNATIONAL JOINT CONFERENCE CAAP/FASE, HELD AT AARHUS, DENMARK, MAY 22-26, 1995

by SIXTH INTERNATIONAL JOINT CONFERENCE ON THEORY,COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING STAFF,COLLOQUIUM ON FORMAL APPROACHES OF SOFTWARE ENGINE,MOSSES,NIELSEN,SCHWARTZBACH,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£59.09
£8.10 shipping to USA

Show Details

Description:
Springer, 1995. 1st. Paperback. New/New.
Item Price
£59.09
£8.10 shipping to USA
TAPSOFT *95: Theory and Practice of Software Development - Proceedings of the 6th International...
Stock Photo: Cover May Be Different

TAPSOFT *95: Theory and Practice of Software Development - Proceedings of the 6th International Joint Conference CAAP/FASE, Held at Aarhus, Denmark, May 22-26, 1995

  • New
Condition
New
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£62.40
£4.05 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
£62.40
£4.05 shipping to USA
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference...

TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings

by Peter D. Mosses

  • New
Condition
New
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
941
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£102.12
£7.99 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings.
Item Price
£102.12
£7.99 shipping to USA
TAPSOFT '95
Stock Photo: Cover May Be Different

TAPSOFT '95

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£86.04
£3.23 shipping to USA

Show Details

Description:
Springer , pp. 836 . Papeback. Used.
Item Price
£86.04
£3.23 shipping to USA
Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference...
Stock Photo: Cover May Be Different

Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding (Advances in Spatial Science)

by Peter D. Mosses Mogens Nielsen Michael I. Schwartzbach

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
£121.22
£10.00 shipping to USA

Show Details

Description:
Springer, 1995. Paperback. New. 1st edition. 825 pages. 9.00x6.10x1.30 inches.
Item Price
£121.22
£10.00 shipping to USA
TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference...
Stock Photo: Cover May Be Different

TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings (Lecture Notes in Computer Science, 915)

by Mosses, Peter D. [Editor]; Nielsen, Mogens [Editor]; Schwartzbach, Michael I. [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540592938 / 3540592938
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
£189.42
£8.10 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
£189.42
£8.10 shipping to USA