Skip to content

Formal Methods and Software Development. Proceedings of the International Joint
Stock Photo: Cover May Be Different

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B Paperback - 1985

by Hartmut Ehrig (Editor); Christiane Floyd (Editor); Maurice Nivat (Editor)


Details

  • Title Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), B
  • Author Hartmut Ehrig (Editor); Christiane Floyd (Editor); Maurice Nivat (Editor)
  • Binding Paperback
  • Edition First
  • Pages 459
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin
  • Date 1985-03-01
  • ISBN 9783540151999 / 3540151990
  • Weight 1.46 lbs (0.66 kg)
  • Dimensions 9.21 x 6.14 x 0.96 in (23.39 x 15.60 x 2.44 cm)
  • Dewey Decimal Code 001.642
Back to Top

More Copies for Sale

Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering....
Stock Photo: Cover May Be Different

Mathematical Foundations of Software Development: Volume 2: Colloquium on Software Engineering. TAPSOFT Proceedings ; Berlin, Germany; March, 1985. Volume 186 Lecture Notes in Computer Science.

by Ehrig, Hartmut (Editor), et al.; Goos, G. (Editor); Hartmanis, J. (Editor)

  • Used
  • Good
  • Paperback
  • first
Condition
Used - Good
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540151999 / 3540151990
Quantity Available
1
Seller
NEWARK, Ohio, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$17.00
$5.50 shipping to USA

Show Details

Description:
Berlin, Germany: Springer-Verlag, OHG, 1985. Ex-Library. Good. Paperback. 1st. 8vo - over 7¾ - 9¾" tall. Wear/soil. W/full markings and pocket. 455 numbered pages, 459 for Amz. Size: 8vo.
Item Price
$17.00
$5.50 shipping to USA
Formal Methods and Software Development. Proceedings of the International Joint Conference on...

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on

by Hartmut Ehrig

  • New
Condition
New
ISBN 10 / ISBN 13
9783540151999 / 3540151990
Quantity Available
1043
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$60.32
$10.26 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on.
Item Price
$60.32
$10.26 shipping to USA
Formal Methods and Software Development. Proceedings of the International Joint Conference on...
Stock Photo: Cover May Be Different

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (CSE) (Lecture Notes in Computer Science)

by Ehrig, Hartmut [Editor]; Floyd, Christiane [Editor]; Nivat, Maurice [Editor]; Thatcher, James [Editor];

  • Used
  • Very Good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540151999 / 3540151990
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
$48.26
$5.99 shipping to USA

Show Details

Description:
Springer, 1986-07-02. Paperback. Very Good. 6x1x9. Ex-library paperback in nice condition with the usual markings and attachments.
Item Price
$48.26
$5.99 shipping to USA
Formal Methods and Software Development. Proceedings of the International Joint Conference on...
Stock Photo: Cover May Be Different

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE)

by Hartmut Ehrig

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540151999 / 3540151990
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$73.83
$12.78 shipping to USA

Show Details

Description:
Paperback / softback. New.
Item Price
$73.83
$12.78 shipping to USA
Formal Methods and Software Development. Proceedings of the International Joint Conference on...
Stock Photo: Cover May Be Different

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

  • New
Condition
New
ISBN 10 / ISBN 13
9783540151999 / 3540151990
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$80.41
$3.99 shipping to USA

Show Details

Description:
Springer , pp. 476 . Papeback. New.
Item Price
$80.41
$3.99 shipping to USA