Formal Methods in Standards: A Report from the BCS Working Group - Clive L N Ruggles - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540195771 - 1990. gada 30. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Methods in Standards: A Report from the BCS Working Group Softcover reprint of the original 1st ed. 1990 edition

Cena
€ 64,49

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

Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem Clive L N Ruggles izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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