Kniha Formal Description Techniques IX R. Gotzhein

Formal Description Techniques IX

Theory, application and tools

Jazyk: Angličtina
Vazba: Pevná
Vydavatel: Chapman and Hall
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
7 592
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Pr...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1996
Stránek
518
EAN
9780412794902
ISBN
041279490X
Enbook ID
01386888
Vydavatel
Hmotnost
2040
Rozměry
155 x 235 x 30

Kompletní popis

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Mohlo by vás zajímat

1 827
372

Learn or Die

Edward Hess
331

Notes

Frankie Louis
171

Great Scot

Duncan A. Bruce
429

Off the Endz

Bola Agbaje
390

Elegant Rooms That Work

Stephanie Stokes
757

Zákaznicí kteří koupili tuto knihu koupili také

789

Slovem a mečem

Ivana Špičková
225
1 749

Hoří

Sudabeh Mohafez
131