Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science - Bernhard Mvller - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540574996 - 29. novembra 1993
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 12. - 20. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Bernhard Mvller

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 29. novembra 1993
ISBN13 9783540574996
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 375
Dimenzije 155 × 233 × 20 mm   ·   548 g
Jezik Nemščina  
Urednik Moeller, Bernhard
Urednik Partsch, Helmut
Urednik Schuman, Steve

Več od istega **izdajatelja**

Ogled vseh Bernhard Mvller