Ergebnisse filtern
-
- 25
- 18
-
- 31
- 10
- 1
- 1
-
- 28
- 15
-
- 43
-
- 42
- 1
-
- 43
-
Bowen / Zhu Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-52227-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giannini / Bowen The Arts and Computational Culture: Real and Virtual Worlds
2024Verlag: SpringerISBN: 978-3-031-53864-3Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giannini / Bowen Museums and Digital Culture
New Perspectives and Research1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-319-97457-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark171,19 € (inkl. MwSt.)
sofort verfügbar -
Giannini / Bowen Museums and Digital Culture
New Perspectives and Research1. Auflage 2019Verlag: SpringerISBN: 978-3-319-97456-9Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Zhu Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-52228-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Giannini / Bowen The Arts and Computational Culture: Real and Virtual Worlds
1. Auflage 2024Verlag: Springer International PublishingISBN: 978-3-031-53865-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark245,03 € (inkl. MwSt.)
sofort verfügbar -
Giannini / Bowen The Arts and Computational Culture: Real and Virtual Worlds
Erscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-53867-4Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey High-Integrity System Specification and Design
Softcover Nachdruck of the original 1. Auflage 1999Verlag: SpringerISBN: 978-3-540-76226-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey Industrial-Strength Formal Methods in Practice
1999Verlag: SpringerISBN: 978-1-85233-640-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey High-Integrity System Specification and Design
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-3431-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Hinchey / Bowen Industrial-Strength Formal Methods in Practice
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0523-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Keene / Ng Electronic Visualisation in Arts and Culture
1. Auflage 2013Verlag: SpringerISBN: 978-1-4471-5406-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Gomes / Liu Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial LecturesErscheinungsjahr 2025Verlag: Springer SingaporeISBN: 978-981-964656-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Boca / Bowen / Siddiqi Formal Methods: State of the Art and New Directions
2010Verlag: SpringerISBN: 978-1-84882-736-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02927-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial LecturesErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-55089-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Li / Xu Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-40436-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
Kurzfristig nicht lieferbar -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial LecturesErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-17601-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures1. Auflage 2017Verlag: SpringerISBN: 978-3-319-56840-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Keene / Ng Electronic Visualisation in Arts and Culture
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4471-5405-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Keene / Ng Electronic Visualisation in Arts and Culture
Softcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-1-4471-7235-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Boca / Siddiqi / Bowen Formal Methods: State of the Art and New Directions
2010Verlag: SpringerISBN: 978-1-4471-5745-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Li / Xu Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40435-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17600-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Gomes / Liu Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial LecturesErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-964655-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial LecturesErscheinungsjahr 2017Verlag: Springer International PublishingISBN: 978-3-319-56841-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial LecturesErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-02928-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures1. Auflage 2020Verlag: SpringerISBN: 978-3-030-55088-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Hinchey / Till ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-62717-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-540-49676-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Hinchey / Olderog / Bowen Provably Correct Systems
1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-48627-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hinchey / Bowen / Olderog Provably Correct Systems
1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-48628-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Hinchey / Olderog / Bowen Provably Correct Systems
Softcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-83980-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hierons / Bowen / Harman Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78916-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67944-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Butler / Bowen Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87602-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-44880-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-44525-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Bert / Bowen / King ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40253-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-45648-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort