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
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 10 - 20

Our customers say:

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

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

Mere med samme udgiver

See all of Bernhard Mvller ( e.g. Paperback Book )