Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report - Lecture Notes in Computer Science - Bernhard Mvller - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540574996 - 1993. gada 29. novembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem Bernhard Mvller izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 29. novembris
ISBN13 9783540574996
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 375
Izmēri 155 × 233 × 20 mm   ·   548 g
Valoda Vācu  
Redaktors Moeller, Bernhard
Redaktors Partsch, Helmut
Redaktors Schuman, Steve

Vairāk no tā paša izdevēja

Skatīt visus Bernhard Mvller ( piem., Paperback Book )