Ergebnisse filtern
-
- 8
- 6
-
- 2
- 2
- 4
- 2
- 2
- 2
-
- 1
- 1
- 10
- 2
-
- 14
-
- 14
-
- 14
-
- 14
-
Roggenbach Recent Trends in Algebraic Development Techniques
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-73785-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Roggenbach Recent Trends in Algebraic Development Techniques
25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers1. Auflage 2021Verlag: Springer Nature SwitzerlandISBN: 978-3-030-73784-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roggenbach / Cerone Formal Methods - Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-71373-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
James / Roggenbach Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-72044-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Roggenbach / James Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-72043-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerone / Roggenbach Formal Methods – Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-71374-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Gruner / Roggenbach / Kumar On the Construction of Engineering Handbooks
with an Illustration from the Railway Safety Domain1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-44647-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gruner / Kumar / Maibaum On the Construction of Engineering Handbooks
with an Illustration from the Railway Safety Domain1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-44648-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Haxthausen / Roggenbach / Huang Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-40131-2Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fiadeiro / Harman / Roggenbach Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31876-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Fiadeiro / Rutten / Harman Algebra and Coalgebra in Computer Science
First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28620-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roggenbach / Cerone / Schlingloff Formal Methods for Software Engineering
Languages, Methods, Application DomainsErscheinungsjahr 2022Verlag: Springer International PublishingISBN: 978-3-030-38800-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar -
Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering
Languages, Methods, Application Domains1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-38799-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roggenbach / Cerone / Shaikh Formal Methods for Software Engineering
Languages, Methods, Application Domains1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-38802-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort