Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science - Bernhard Mvller - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540574996 - November 29, 1993
In case cover and title do not match, the title is correct

Bernhard Mvller
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science 1993 edition

Price
CA$ 75.99
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 10 - 20
Christmas presents can be returned until 31 January
Get notified about new Bernhard Mvller releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil. Thus the core interests of the group are:- formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications.

375 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 29, 1993
ISBN13 9783540574996
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 375
Dimensions 155 × 233 × 20 mm   ·   548 g
Language German  
Editor Moeller, Bernhard
Editor Partsch, Helmut
Editor Schuman, Steve

More from the same publisher

See all of Bernhard Mvller