Pastāsti draugiem par šo preci:
Formal Methods in Standards: A Report from the BCS Working Group Clive L N Ruggles Softcover reprint of the original 1st ed. 1990 edition
Formal Methods in Standards: A Report from the BCS Working Group
Clive L N Ruggles
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 A survey of formal methods . 1 FDTs and FSLs for sequential software . 3 me too . 6 Clear . l . 3 Graphical formalisms . 2 Higraphs . 4 Less formal methods and notations . 2 Structured Design . 3 SSADM and LSDM . 5 HDM and the SPECIAL language .
146 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1990. gada 30. jūlijs |
| ISBN13 | 9783540195771 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 135 |
| Izmēri | 170 × 244 × 8 mm · 249 g |
| Valoda | Vācu |
| Redaktors | Ruggles, Clive L. N. |
Vairāk no tā paša izdevēja
Skatīt visus Clive L N Ruggles ( piem., Paperback Book un Hardcover Book )