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

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



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

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

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

Автор: Abdulla
Название:  Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783642198342
Издательство: Springer
Классификация:
ISBN-10: 3642198341
Обложка/Формат: Paperback
Страницы: 410
Вес: 0.612 кг.
Дата издания: 01.03.2011
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: 104 black & white illustrations, 30 colour illustrations, biography
Размер: 234 x 155 x 23
Читательская аудитория: Professional & vocational
Подзаголовок: 17th international conference, tacas 2011, held as part of the joint european conference on theory and practice of software, etaps 2011, saarbrucken, germany, march 26--april 3, 2011, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии



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.

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.

Desktop Grid Computing

Автор: Cerin
Название: Desktop Grid Computing
ISBN: 1439862141 ISBN-13(EAN): 9781439862148
Издательство: Taylor&Francis
Рейтинг:
Цена: 20625 р.
Наличие на складе: Невозможна поставка.

Описание: Desktop Grid Computing presents common techniques used in numerous models, algorithms, and tools developed during the last decade to implement desktop grid computing. These techniques enable the solution of many important sub-problems for middleware design, including scheduling, data management, security, load balancing, result certification, and fault tolerance. The book’s first part covers the initial ideas and basic concepts of desktop grid computing. The second part explores challenging current and future problems. Each chapter presents the sub-problems, discusses theoretical and practical issues, offers details about implementation and experiments, and includes references to further reading and notes. One of the first books to give a thorough and up-to-date presentation of this topic, this resource describes various approaches and models as well as recent trends that underline the evolution of desktop grids. It balances the theory of designing desktop grid middleware and architecture with applications and real-world deployment on large-scale platforms.

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

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

Описание: This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

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 / 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.

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.

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.

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.

Design and Analysis of Randomized Algorithms

Автор: Hromkovic
Название: Design and Analysis of Randomized Algorithms
ISBN: 3540239499 ISBN-13(EAN): 9783540239499
Издательство: Springer
Рейтинг:
Цена: 6929 р.
Наличие на складе: Поставка под заказ.

Описание: Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized algorithms are often more efficient, simpler and, surprisingly, also more reliable than their deterministic counterparts. Computing tasks exist that require billions of years of computer work when solved using the fastest known deterministic algorithms, but they can be solved using randomized algorithms in a few minutes with negligible error probabilities.


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