null Skip to main content

✨ Buy more, save 5% Ends

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Manfred Broy

$117.22
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Manfred Broy
Publisher:
Springer
Publication Date:
Dec 21, 2011
Number of pages:
407 pages
Binding:
Paperback or Softback
ISBN-10:
3642775748
ISBN-13:
9783642775741

Overview

This volume contains the proceedings of the 1990 Marktoberdorf Summer School on mathematical programming methods. Contributions are centered on logical and functional calculi for specification, refinement, and verification of programs and program systems.


  • | Author: Manfred Broy
  • | Publisher: Springer
  • | Publication Date: Dec 21, 2011
  • | Number of Pages: 407 pages
  • | Binding: Paperback or Softback
  • | ISBN-10: 3642775748
  • | ISBN-13: 9783642775741

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.