Data & IT

Formal Methods in Standards

Name: Formal Methods in Standards
Price: 749 SEK
Availability: InStock
Author: Clive L N Ruggles
ISBN: 9783540195771

Clive L N Ruggles

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

135 sidor
1990

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

Författare: Clive L N Ruggles
Format: Pocket/Paperback
ISBN: 9783540195771
Språk: Engelska
Antal sidor: 135
Utgivningsdatum: 1990-07-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K