ZUM `98: The Z Formal Specification Notation, Jonathan P. Bowen; Andreas Fett; Michael G. Hinche

Автор: Taruskin, Richard
Название: Music from the Earliest Notations to the Sixteenth Century
ISBN: 0195384814 ISBN-13(EAN): 9780195384819
Издательство: Oxford Academ
Рейтинг:
Цена: 5463.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The universally acclaimed and award-winning Oxford History of Western Music is the eminent musicologist Richard Taruskin's provocative, erudite telling of the story of Western music from its earliest days to the present. Each book in this superlative five-volume set illuminates-through a
representative sampling of masterworks- the themes, styles, and currents that give shape and direction to a significant period in the history of Western music.

This first volume in Richard Taruskin's majestic history, Music from the Earliest Notations to the Sixteenth Century, sweeps across centuries of musical innovation to shed light on the early forces that shaped the development of the Western classical tradition. Beginning with the invention of
musical notation more than a thousand years ago, Taruskin addresses topics such as the legend of Saint Gregory and Gregorian chant, Augustine's and Boethius's thoughts on music, the liturgical dramas of Hildegard of Bingen, the growth of the music printing business, the literary revolution and the
English madrigal, the influence of the Reformation and the Counter-Reformation, and the operas of Monteverdi. Laced with brilliant observations, memorable musical analysis, and a panoramic sense of the interactions between history, culture, politics, art, literature, religion, and music, this book
will be essential reading for anyone who wishes to understand this rich and diverse period.

Автор: Gregory Landini; Michael Beaney
Название: Frege`s Notations
ISBN: 1349320250 ISBN-13(EAN): 9781349320257
Издательство: Springer
Рейтинг:
Цена: 10760.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A new approach to reading Frege`s notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege`s notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.

Автор: A. J. Carruthers
Название: Notational Experiments in North American Long Poems, 1961-2011
ISBN: 3319462415 ISBN-13(EAN): 9783319462417
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a critical experiment that tracks the literary and poetic uses of musical notation and notational methods in North American long poems from the middle of last century to the contemporary moment.

Автор: Bryon K. Ehlmann
Название: Object Relationship Notation (ORN) for Database Applications
ISBN: 1441934936 ISBN-13(EAN): 9781441934932
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This unique book shows how ORN can be used in UML class diagrams and database definition languages (DDLs). This will allow the reader to better model and implement relationships and thus more productively develop database applications.

Автор: Jean Bezivin; Pierre-Alain Muller
Название: The Unified Modeling Language. <>`98: Beyond the Notation
ISBN: 3540662529 ISBN-13(EAN): 9783540662525
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the proceedings of the International Workshop on the Unified Modeling Language held in June 1998. It presents research and development results as well as advanced applications.

Автор: Jonathan P. Bowen; Michael G. Hinchey
Название: ZUM `95: The Z Formal Specification Notation
ISBN: 3540602712 ISBN-13(EAN): 9783540602712
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this text cover applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. The book includes an annotated Z bibliography listing 544 entries.

Автор: Jonathan P. Bowen; Michael G. Hinchey; David Till
Название: ZUM`97: The Z Formal Specification Notation
ISBN: 3540627170 ISBN-13(EAN): 9783540627173
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents 18 revised full papers, together with three invited presentations by international contributors. The papers are organized into sections on real-time systems, tools, logic, system development, reactive systems, refinement and applications.