wyszukanych pozycji: 7
Concur 2011 -- Concurrency Theory: 22nd International Conference, Concur 2011, Aachen, Germany, September 6-9, 2011, Proceedings
ISBN: 9783642232169 / Angielski / Miękka / 2011 / 560 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation. This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, Septe...
|
|
cena:
194,08 zł |
Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ISBN: 9783319682693 / Angielski / Miękka / 2017 / 391 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D.
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are wri...
|
|
cena:
194,08 zł |
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20
ISBN: 9783540434191 / Angielski / Miękka / 2002 / 486 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002. The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing,...
This volume constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Syst...
|
|
cena:
194,08 zł |
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
ISBN: 9783540424796 / Angielski / Miękka / 2001 / 434 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous...
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance ...
|
|
cena:
194,08 zł |
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
ISBN: 9783031274800 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, i...
|
|
cena:
388,20 zł |
Foundations of Probabilistic Programming
ISBN: 9781108488518 / Angielski / Twarda / 2021 / 582 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential...
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such ele...
|
|
cena:
283,02 zł |
Model-Based Testing of Reactive Systems: Advanced Lectures
ISBN: 9783540262787 / Angielski / Miękka / 2005 / 664 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent... Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive.... |
|
cena:
194,08 zł |