Formal Methods in Standards: A Report from the BCS Working Group - Clive L N Ruggles - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540195771 - 30. julija 1990
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 29. okt - 6. nov
Prejemajte obvestila o novih izdajah izvajalca Clive L N Ruggles
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 30. julija 1990
ISBN13 9783540195771
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 135
Dimenzije 170 × 244 × 8 mm   ·   249 g
Jezik Nemščina  
Urednik Ruggles, Clive L. N.

Več od istega **izdajatelja**