Formal Methods in Standards: A Report from the BCS Working Group - Clive L N Ruggles - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540195771 - 30 de julho de 1990
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 296,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out
Receba avisos sobre novos lançamentos de Clive L N Ruggles
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 30 de julho de 1990
ISBN13 9783540195771
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 135
Dimensões 170 × 244 × 8 mm   ·   249 g
Idioma Alemão  
Editor Ruggles, Clive L. N.

Mais da mesma editora