Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Tools and Algorithms for the Construction and Analysis of Systems, Flanagan



Варианты приобретения
Цена: 9239р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 19 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Flanagan
Название:  Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783642287558
Издательство: Springer
Классификация:
ISBN-10: 3642287557
Обложка/Формат: Paperback
Страницы: 560
Вес: 0.884 кг.
Дата издания: 01.03.2012
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: XIX, 560 p. 162 illus.
Размер: 234 x 155 x 33
Читательская аудитория: Professional & vocational
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии



Tools and Algorithms for the Construction and Analysis of Systems

Автор: Abdulla
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642198341 ISBN-13(EAN): 9783642198342
Издательство: Springer
Рейтинг:
Цена: 9239 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbr?cken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Algorithms and Models for Network Data and Link Analysis

Автор: Fouss
Название: Algorithms and Models for Network Data and Link Analysis
ISBN: 1107125774 ISBN-13(EAN): 9781107125773
Издательство: Cambridge Academ
Рейтинг:
Цена: 10270 р.
Наличие на складе: Поставка под заказ.

Описание: Network data are produced automatically by everyday interactions - social networks, power grids, and links between data sets are a few examples. Such data capture social and economic behavior in a form that can be analyzed using powerful computational tools. This book is a guide to both basic and advanced techniques and algorithms for extracting useful information from network data. The content is organized around 'tasks', grouping the algorithms needed to gather specific types of information and thus answer specific types of questions. Examples include similarity between nodes in a network, prestige or centrality of individual nodes, and dense regions or communities in a network. Algorithms are derived in detail and summarized in pseudo-code. The book is intended primarily for computer scientists, engineers, statisticians and physicists, but it is also accessible to network scientists based in the social sciences. MATLAB®/Octave code illustrating some of the algorithms will be available at: http://www.cambridge.org/9781107125773.

Tools and Algorithms for the Construction and Analysis of Systems

Автор: Stefan Kowalewski; Anna Philippou
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642007678 ISBN-13(EAN): 9783642007675
Издательство: Springer
Рейтинг:
Цена: 10394 р.
Наличие на складе: Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

Tools and Algorithms for the Construction and Analysis of Systems

Автор: Javier Esparza; Rupak Majumdar
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3642120016 ISBN-13(EAN): 9783642120015
Издательство: Springer
Рейтинг:
Цена: 10394 р.
Наличие на складе: Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

Tools and Algorithms for the Construction and Analysis of Systems / 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Автор: Garavel Hubert, Hatcliff John
Название: Tools and Algorithms for the Construction and Analysis of Systems / 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
ISBN: 3540008985 ISBN-13(EAN): 9783540008989
Издательство: Springer
Рейтинг:
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, held in Warsaw, Poland, in April 2003.The 43 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on bounded model checking and SAT-based methods, mu-calculus and temporal logics, verification of parameterized systems, abstractions and counterexamples, real-time and scheduling, security and cryptography, modules and compositional verification, symbolic state spaces and decision diagrams, performance and mobility, state space reductions, constraint solving and decision procedures, and testing and verification.

Tools and Algorithms for the Construction and Analysis of Systems / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Автор: Halbwachs Nicolas, Zuck Lenore
Название: Tools and Algorithms for the Construction and Analysis of Systems / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
ISBN: 3540253335 ISBN-13(EAN): 9783540253334
Издательство: Springer
Рейтинг:
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS.The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.

Tools and Algorithms for the Construction and Analysis of Systems / 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proce

Автор: Jensen Kurt, Podelski Andreas
Название: Tools and Algorithms for the Construction and Analysis of Systems / 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proce
ISBN: 354021299X ISBN-13(EAN): 9783540212997
Издательство: Springer
Рейтинг:
Цена: 12126 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004.The 37 revised full papers and 6 revised tool demonstration papers presented were carefully reviewed and selected from a total of 162 submissions. The papers are organized in topical sections on theorem proving, probabilistic model checking, testing, tools, explicit state and Petri nets, scheduling, constraint solving, timed systems, case studies, software, temporal logic, abstraction, and automata techniques.

Construction And Analysis Of Transition Systems With Mec

Автор: Arnold A Et Al
Название: Construction And Analysis Of Transition Systems With Mec
ISBN: 9810219229 ISBN-13(EAN): 9789810219222
Издательство: World Scientific Publishing
Рейтинг:
Цена: 8628 р.
Наличие на складе: Поставка под заказ.

Описание: The importance of formal methods in software engineering has been receiving greater acknowledgement. These methods can be used at several stages of the software development process. This book focuses on a method concerning the early stages of design, namely the modeling of a system at conceptual level, and the verification and validation of this model.The mathematical formalism used for modeling and verifying systems is the synchronized product of transition systems. The book introduces this notion and presents several examples of modeling and verification covering various domains: games, industrial processes, communication protocols, etc.These examples are worked out using the "Mec" software tool. This book is also intended to be an introduction to this tool which is described in full detail.

Exercises in Programming Style

Автор: Lopes
Название: Exercises in Programming Style
ISBN: 1482227371 ISBN-13(EAN): 9781482227376
Издательство: Taylor&Francis
Рейтинг:
Цена: 4674 р.
Наличие на складе: Поставка под заказ.

Описание: Using a simple computational task (term frequency) to illustrate different programming styles, Exercises in Programming Style helps readers understand the various ways of writing programs and designing systems. It is designed to be used in conjunction with code provided on an online repository. The book complements and explains the raw code in a way that is accessible to anyone who regularly practices the art of programming. The book can also be used in advanced programming courses in computer science and software engineering programs. The book contains 33 different styles for writing the term frequency task. The styles are grouped into nine categories: historical, basic, function composition, objects and object interactions, reflection and metaprogramming, adversity, data-centric, concurrency, and interactivity. The author verbalizes the constraints in each style and explains the example programs. Each chapter first presents the constraints of the style, next shows an example program, and then gives a detailed explanation of the code. Most chapters also have sections focusing on the use of the style in systems design as well as sections describing the historical context in which the programming style emerged.

Introduction to Compiler Construction in a Java World

Автор: Campbell
Название: Introduction to Compiler Construction in a Java World
ISBN: 1439860882 ISBN-13(EAN): 9781439860885
Издательство: Taylor&Francis
Рейтинг:
Цена: 10999 р.
Наличие на складе: Поставка под заказ.

Описание: Immersing students in Java and the Java Virtual Machine (JVM), Introduction to Compiler Construction in a Java World enables a deep understanding of the Java programming language and its implementation. The text focuses on design, organization, and testing, helping students learn good software engineering skills and become better programmers. The book covers all of the standard compiler topics, including lexical analysis, parsing, abstract syntax trees, semantic analysis, code generation, and register allocation. The authors also demonstrate how JVM code can be translated to a register machine, specifically the MIPS architecture. In addition, they discuss recent strategies, such as just-in-time compiling and hotspot compiling, and present an overview of leading commercial compilers. Each chapter includes a mix of written exercises and programming projects. By working with and extending a real, functional compiler, students develop a hands-on appreciation of how compilers work, how to write compilers, and how the Java language behaves. They also get invaluable practice working with a non-trivial Java program of more than 30,000 lines of code. Fully documented Java code for the compiler is accessible at http://www.cs.umb.edu/j--/

Concentration of Measure for the Analysis of Randomized Algorithms

Автор: Dubhashi
Название: Concentration of Measure for the Analysis of Randomized Algorithms
ISBN: 1107606608 ISBN-13(EAN): 9781107606609
Издательство: Cambridge Academ
Рейтинг:
Цена: 5340 р.
Наличие на складе: Поставка под заказ.

Описание: Randomized algorithms have become a central part of the algorithms curriculum, based on their increasingly widespread use in modern applications. This book presents a coherent and unified treatment of probabilistic techniques for obtaining high probability estimates on the performance of randomized algorithms. It covers the basic toolkit from the Chernoff?€“Hoeffding bounds to more sophisticated techniques like martingales and isoperimetric inequalities, as well as some recent developments like Talagrand's inequality, transportation cost inequalities and log-Sobolev inequalities. Along the way, variations on the basic theme are examined, such as Chernoff?€“Hoeffding bounds in dependent settings. The authors emphasise comparative study of the different methods, highlighting respective strengths and weaknesses in concrete example applications. The exposition is tailored to discrete settings sufficient for the analysis of algorithms, avoiding unnecessary measure-theoretic details, thus making the book accessible to computer scientists as well as probabilists and discrete mathematicians.

Introduction to the Analysis of Algorithms

Автор: Soltys Michael
Название: Introduction to the Analysis of Algorithms
ISBN: 9814401153 ISBN-13(EAN): 9789814401159
Издательство: World Scientific Publishing
Рейтинг:
Цена: 7395 р.
Наличие на складе: Поставка под заказ.

Описание: A successor to the first edition, this updated and revised book is a great companion guide for students and engineers alike, specifically software engineers who design reliable code. While succinct, this edition is mathematically rigorous, covering the foundations of both computer scientists and mathematicians with interest in algorithms.Besides covering the traditional algorithms of Computer Science such as Greedy, Dynamic Programming and Divide & Conquer, this edition goes further by exploring two classes of algorithms that are often overlooked: Randomised and Online algorithms — with emphasis placed on the algorithm itself. The coverage of both fields are timely as the ubiquity of Randomised algorithms are expressed through the emergence of cryptography while Online algorithms are essential in numerous fields as diverse as operating systems and stock market predictions.While being relatively short to ensure the essentiality of content, a strong focus has been placed on self-containment, introducing the idea of pre/post-conditions and loop invariants to readers of all backgrounds. Containing programming exercises in Python, solutions will also be placed on the book's website.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия