Languages for Digital Embedded Systems, Stephen A. Edwards
Автор: Stephen A. Edwards Название: Languages for Digital Embedded Systems ISBN: 1461369428 ISBN-13(EAN): 9781461369424 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different languages, and a designer who knows the spectrum of available languages has the advantage over one who is trapped using the wrong language.
Описание: This book presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip.
Описание: This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL`06), in September 2006. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.
Автор: Martin Radetzki Название: Languages for Embedded Systems and their Applications ISBN: 9048181917 ISBN-13(EAN): 9789048181919 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers current research trends, results, and application experiences in computer languages for embedded systems. Much of the information builds upon the finest contributions to FDL `08, the top international conference specializing in this field.
Автор: S. Doaitse Swierstra Название: Programming Languages and Systems ISBN: 3540656995 ISBN-13(EAN): 9783540656999 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents the proceedings of the 8th European Symposium on Programming. The revised papers cover topics including program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming and code splicing.
Автор: Michel Rigo Название: Formal Languages, Automata and Numeration Systems ISBN: 1848216157 ISBN-13(EAN): 9781848216150 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).
Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.
Автор: Andy Sch?rr; Bran V. Selic Название: Model Driven Engineering Languages and Systems ISBN: 3642044247 ISBN-13(EAN): 9783642044243 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Matthias Felleisen; Philippa Gardner Название: Programming Languages and Systems ISBN: 3642370357 ISBN-13(EAN): 9783642370359 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. shared-memory concurrency and verification; weak-memory concurrency and verification;
Автор: Boleslaw K. Szymanski; Balaram Sinharoy Название: Languages, Compilers and Run-Time Systems for Scalable Computers ISBN: 1461359791 ISBN-13(EAN): 9781461359791 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session.
Автор: Giuseppe Castagna Название: Programming Languages and Systems ISBN: 3642005896 ISBN-13(EAN): 9783642005893 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Автор: Xinyu Feng; Sungwoo Park Название: Programming Languages and Systems ISBN: 3319265288 ISBN-13(EAN): 9783319265285 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
