{"title":"Christel Baier","description":null,"products":[{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-book-christel-baier-9783662466803","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52136994177297,"sku":"NLS9783662466803","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783662466803.jpg?v=1757556140"},{"product_id":"foundations-of-software-science-and-computation-structures-book-christel-baier-9783319893655","title":"Foundations of Software Science and Computation Structures","description":"This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52144001089809,"sku":"NLS9783319893655","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319893655.jpg?v=1757586952"},{"product_id":"validation-of-stochastic-systems-book-christel-baier-9783540222651","title":"Validation of Stochastic Systems","description":"It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project \"Validation of Stochastic Systems\" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci?c topics, roughly divided into the following four theme areas: \"Modelling of Stochastic Systems,\" \"Model Checking of Stochastic Systems,\" \"Representing Large State Spaces,\" and \"Deductive Veri?cation of Stochastic Systems.\" These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8-11,2002aspart of the so-called GI\/Research Seminar series. This series of seminars is ?nancially supported by theGesellschaft fur .. Informatik, the German Computer Society. At that point in time the papers had already undergone a ?rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52353798603025,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52353799258385,"sku":"NLS9783540222651","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540222651.jpg?v=1758183258"},{"product_id":"concur-2006-concurrency-theory-book-christel-baier-9783540373766","title":"CONCUR 2006 - Concurrency Theory","description":"This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27-30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric pro- cols, security protocols), related veri?cation techniques and tools (such as sta- spaceexploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graphrewriting, aswellasassociatedtypesystems, staticana- ses, abstract machines, and environments). This volume starts with ?ve invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the P- gramme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme C- mittee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. The invited talks were given by Edward","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52422662357265,"sku":"NLS9783540373766","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52761654460689,"sku":"NIN9783540373766","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540373766.jpg?v=1759148629"},{"product_id":"formal-techniques-for-distributed-objects-components-and-systems-book-christel-baier-9783319926117","title":"Formal Techniques for Distributed Objects, Components, and Systems","description":"This book constitutes the proceedings of the 38th IFIP WG 6.1  International Conference on Formal Techniques for Distributed Objects,  Components, and Systems, FORTE 2018, held in Madrid, Spain, in  June 2018, as part of the 13th International Federated Conference on  Distributed Computing Techniques, DisCoTec 2018.      The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52532243300625,"sku":"NLS9783319926117","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319926117.jpg?v=1760660040"},{"product_id":"foundations-of-software-science-and-computation-structures-book-christel-baier-9781013269424","title":"Foundations of Software Science and Computation Structures","description":"This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata. \u003cp\u003e\u003c\/p\u003eThis work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53014125478161,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53014125642001,"sku":"NIN9781013269424","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781013269424.jpg?v=1768144252"},{"product_id":"foundations-of-software-science-and-computation-structures-book-christel-baier-9781013269431","title":"Foundations of Software Science and Computation Structures","description":"This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata. \u003cp\u003e\u003c\/p\u003eThis work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53014125510929,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53014125707537,"sku":"NIN9781013269431","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781013269431.jpg?v=1768144252"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-christel-baier.oembed","provider":"World of Books ","version":"1.0","type":"link"}