topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Automated Deduction in Multiple-Valued Logics
ISBN: 9780198539896 / Angielski / Twarda / 1994 / 182 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated reasoning ever given. Finally, a variety of applications of automated reasoning in MVL including several short case studies are listed.
Automated reasoning in non-classical logics is an essential subtask of many AI applications. Applications of MVL in particular include, for instance, hardware and... This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, ...
|
cena:
510,95 zł |
 |
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of
ISBN: 9783642347801 / Angielski / Miękka / 2012 / 261 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and...
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine ...
|
cena:
192,74 zł |
 |
Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783030167219 / Angielski / Miękka / 2019 / 446 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,74 zł |
 |
Fundamental Approaches to Software Engineering
ISBN: 9781013271335 / Angielski / Twarda / 2020 / 448 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
321,87 zł |
 |
Fundamental Approaches to Software Engineering
ISBN: 9781013271328 / Angielski / Miękka / 2020 / 448 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
263,30 zł |
 |
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
ISBN: 9783540593386 / Angielski / Miękka / 1995 / 361 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995.
Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal... This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, ...
|
cena:
192,74 zł |
 |
Handbook of Tableau Methods
ISBN: 9789048151844 / Angielski / Miękka / 2010 / 670 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The tableau methodology, invented in the 1950s by Beth and...
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many di...
|
cena:
771,08 zł |
 |
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
ISBN: 9783540689775 / Angielski / Miękka / 2007 / 658 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages...
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in p...
|
cena:
385,52 zł |
 |
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ISBN: 9783642406140 / Angielski / Miękka / 2013 / 241 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in Se...
|
cena:
177,36 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
