Formal Description Techniques IX, R. Gotzhein; J. Bredereke

Автор: Newton Paul K.
Название: The N-Vortex Problem / Analytical Techniques
ISBN: 0387952268 ISBN-13(EAN): 9780387952260
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an introduction to current research on the N- vortex problem of fluid mechanics. Its goal is to describe the Hamiltonian aspects of vortex dynamics so that graduate students and researchers can use the book as an entry point into the rather large literature on integrable and non-integrable vortex problems within the broader context of dynamical systems. It is as self-contained as possible: the only training required of the reader is a good background in advanced calculus and ordinary and partial differential equations at the level of a typical undergraduate engineering, physics, or applied mathematics major. Exercises of varying difficulty are found at the end of each chapter which often require the reader to fill in details of proofs or complete examples.

Автор: D. Hogrefe; S. Leue
Название: Formal Description Techniques VII
ISBN: 0412644509 ISBN-13(EAN): 9780412644504
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. It should be of interest to engineers and researchers in communications and software engineering.

Автор: Atsushi Togashi; Tadanori Mizuno; Norio Shiratori;
Название: Formal Description Techniques and Protocol Specification, Testing and Verification
ISBN: 0412820609 ISBN-13(EAN): 9780412820601
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: FORTE/PSTV `97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic).

Автор: Gregor von Bochmann; Rachida Dssouli; Omar Rafiq
Название: Formal Description Techniques VIII
ISBN: 041273270X ISBN-13(EAN): 9780412732706
Издательство: Springer
Рейтинг:
Цена: 32004.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents papers from the 8th IFIP TC6 International Conference on Formal Description Techniques, held in 1995. The focus is on the techniques standardized by ISO and ITU-T (formerly CCITT), namely Estelle, Lotos and SD, but there are also papers on other techniques.