wyszukanych pozycji: 3
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
ISBN: 9783030620769 / Angielski / Miękka / 2020 / 203 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
230,76 zł |
Composing Model-Based Analysis Tools
ISBN: 9783030819170 / Angielski / Miękka / 2022 / 307 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establishing the foundations for a common understanding of the needs for more flexibility in model-driven engineering. It is based on the Dagstuhl Seminar 19481 „Composing Model-Based Analysis Tools“, which was held November 24 to 29, 2019, at Schloss Dagstuhl, Germany, where current challenges, their background and concepts to address them were discussed.The book is structured in two parts, and organized around five fundamental core...
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal...
|
|
cena:
384,63 zł |
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15
ISBN: 9781568811697 / Angielski / Twarda / 2002 / 450 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium ...
|
|
cena:
544,64 zł |