bokomslag Formal Methods in Standards
Data & IT

Formal Methods in Standards

Clive L N Ruggles

Pocket

759:-

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

Uppskattad leveranstid 7-12 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