Atjaunināt sīkdatņu piekrišanu

Formal Description Techniques VIII 1996 ed. [Hardback]

Edited by , Edited by , Edited by
Citas grāmatas par šo tēmu:
  • Hardback
  • Cena: 180,78 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 212,69 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Formal Description Techniques VIII 1996 ed.Palielināt
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9780412732706.html
Keywords:
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.