Mathematical Methods of Specification and Synthesis of Software Systems '85 :Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 - Lecture Notes in Computer Science

Mathematical Methods of Specification and Synthesis of Software Systems '85

Mathematical Methods of Specification and Synthesis of Software Systems '85 :Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985 - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 1 June, 1986
Standard worldwide delivery by Tue, July 21 - Thu, July 30
Order within 0
Condition: NEW
$61.69
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Wolfgang Bibel

View All Books by Wolfgang Bibel
Scalable Search in Computer Chess
Scalable Search in Computer Chess
Wolfgang Bibel
$92.38 $120.35
Used
Add to basket
Automated Theorem Proving
Automated Theorem Proving
Wolfgang Bibel
$128.42
New
Add to basket
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
$245.26
New
Add to basket
The SAP R/3® Guide to EDI and Interfaces
The SAP R/3® Guide to EDI and Interfaces
Wolfgang Bibel
$61.72
New
Add to basket
Multiobjective Heuristic Search
Multiobjective Heuristic Search
Wolfgang Bibel
$61.42
New
Add to basket
Automated Theorem Proving
Automated Theorem Proving
Wolfgang Bibel
$64.04
New
Add to basket
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
$245.72
New
Add to basket
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel
$192.21
New
Add to basket
5th Conference on Automated Deduction
5th Conference on Automated Deduction
Wolfgang Bibel
$61.80
New
Add to basket
Betriebswirtschaftliche Anwendungen des Soft Computing
Betriebswirtschaftliche Anwendungen des Soft Computing
Wolfgang Bibel
$59.40
New
Add to basket

More Details

Type Book
ISBN13 9783540164449
ISBN10 3540164448
Number Of Pages 248
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 1986 ed.
See More +