Liebe Besucherinnen und Besucher,
aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.
Ihr Team von Sack Fachmedien
-
- 14
- 8
-
- 1
- 16
- 4
- 1
-
- 2
- 12
- 8
-
- 22
-
- 22
-
- 22
-
Hähnle Automated Deduction in Multiple-Valued Logics
Erscheinungsjahr 1994Verlag: Oxford University PressISBN: 978-0-19-853989-6Medium: BuchLieferzeit ca. 10 Werktage -
Giesl / Hähnle Automated Reasoning
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14203-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Beckert / Hähnle Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79123-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giesl / Hähnle Automated Reasoning
5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14202-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96561-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baumgartner / Hähnle / Posegga Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59338-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised PapersErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-319-96562-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar -
Hähnle / van der Aalst Fundamental Approaches to Software Engineering
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-16721-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. LeinoErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-68977-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Agostino / Gabbay / Hähnle Handbook of Tableau Methods
1. Auflage. Softcover version of original hardcover Auflage 1999Verlag: SpringerISBN: 978-90-481-5184-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Agostino / Gabbay / Hähnle Handbook of Tableau Methods
1. Auflage 1999Verlag: SpringerISBN: 978-0-7923-5627-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hähnle / Knoop / Margaria Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected PapersErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-34781-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
D'Agostino / Gabbay / Hähnle Handbook of Tableau Methods
Erscheinungsjahr 2013Verlag: Springer NetherlandsISBN: 978-94-017-1754-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar -
Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64353-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hähnle / Knoop / Margaria Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34780-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeYErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-64354-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Giachino / Hähnle / de Boer Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised LecturesErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40614-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends
2024Verlag: SpringerISBN: 978-3-031-51059-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giachino / Hähnle / De Boer Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised LecturesErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40615-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar -
de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends
Erscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-51060-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar -
Ahrendt / Beckert / Bubel Deductive Software Verification – The KeY Book
From Theory to Practice1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49812-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar -
Ahrendt / Beckert / Bubel Deductive Software Verification - The KeY Book
From Theory to Practice1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49811-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular