Join our mailing list
Get exclusive deals and learn about new products!
Skip to product information
Programming and Mathematical Method International Summer School
Sale price
$98.99
Regular price
$109.99
Reliable shipping
Flexible returns
NATO ASI Subseries F:
Programming and Mathematical Method
International Summer School
Manfred Broy | F.L. Bauer | Manfred Broy | E.W. Dijkstra | C.A.R. Hoare
Computers / Programming / General
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.
| Publication Date: | 21 December 2011 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783642775741 |
| Format: | Paperback / softback |
| Page Count: | 407 |