Ergebnisse filtern
-
- 13
- 12
-
- 3
- 4
- 4
- 6
- 2
- 2
- 2
- 2
-
- 5
- 1
- 18
- 1
-
- 25
-
- 25
-
- 25
-
- 25
-
Cerone Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1¿7, 2021, Tutorial Lectures1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-43677-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerone Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-43678-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
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 -
Cerone / Roveri Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74781-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark78,10 € (inkl. MwSt.)
sofort verfügbar -
Cerone / Pihlajasaari Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, ProceedingsErscheinungsjahr 2011Verlag: SpringerISBN: 978-3-642-23283-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Roveri / Cerone Software Engineering and Formal Methods
SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-74780-4Medium: Buch79,18 € (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 -
Cerone / Pihlajasaari Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-23282-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerone / de Boer Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58767-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Boer / Cerone Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-58768-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar -
Ölveczky / Cerone Theoretical Aspects of Computing - ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-85314-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerone / Ölveczky Theoretical Aspects of Computing – ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-85315-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar -
Barkaoui / Cerone / Cavalcanti Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48815-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barkaoui / Cavalcanti / Cerone Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings2006Verlag: SpringerISBN: 978-3-540-48816-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (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-38802-7Medium: Buch58,84 € (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-38799-0Medium: Buch80,24 € (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 -
Cerone / Autili / Bucaioni Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-12429-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Cerone / Persico / Fernandes Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54338-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Cerone / Persico / Fernandes Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers2014Verlag: SpringerISBN: 978-3-642-54337-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cerone / Autili / Bucaioni Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6¿10, 2021, Revised Selected Papers1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-12428-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54993-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sekerinski / Moreira / Astarte Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54994-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54996-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sekerinski / Moreira / Astarte Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54997-8Medium: 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