Formal Methods in Standards: A Report from the BCS Working Group - Clive L N Ruggles - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540195771 - July 30, 1990
In case cover and title do not match, the title is correct

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

Price
Íkr 6,939
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 3 - 13
Add to your iMusic wish list

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 30, 1990
ISBN13 9783540195771
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 135
Dimensions 170 × 244 × 8 mm   ·   249 g
Language German  
Editor Ruggles, Clive L. N.

Mere med samme udgiver