Ergebnisse filtern
Fachgebiet
Medium
  • 10
  • 9
Erscheinungsjahr
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
Autoren
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 19
  • 2
  • 3
  • 4
  • 2
  • 1
  • 1
Verlag
  • 3
  • 1
  • 14
  • 1
Preis
  • 1
  • 17
  • 1
Sprachen
  • 19
Verfügbarkeit
  • 19
Katalog
  • 19
19  Treffer  für „Johnsen, Einar Broch“
    Bernardo / Johnsen | Formal Methods for Multicore Programming | eBook | Sack Fachmedien
    E-Book

    Bernardo / Johnsen Formal Methods for Multicore Programming

    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18941-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnsen / Schaefer | Software Engineering and Formal Methods | eBook | Sack Fachmedien
    E-Book

    Johnsen / Schaefer Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92970-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Petre / Johnsen | Integrated Formal Methods | Buch | Sack Fachmedien

    Petre / Johnsen Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaefer / Johnsen | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Schaefer / Johnsen Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-92969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Bernardo | Formal Methods for Multicore Programming | Buch | Sack Fachmedien

    Johnsen / Bernardo Formal Methods for Multicore Programming

    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18940-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabmeyer / Johnsen | Tests and Proofs | eBook | Sack Fachmedien
    E-Book

    Gabmeyer / Johnsen Tests and Proofs

    11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61467-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnsen / Gabmeyer | Tests and Proofs | Buch | Sack Fachmedien

    Johnsen / Gabmeyer Tests and Proofs

    11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61466-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38613-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wimmer / Johnsen | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Wimmer / Johnsen Fundamental Approaches to Software Engineering

    25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-99428-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonsangue / Johnsen | Formal Methods for Open Object-Based Distributed Systems | eBook | Sack Fachmedien
    E-Book

    Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-72952-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnsen / Bonsangue | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Johnsen / Bonsangue Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72919-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Johnsen / Bonsangue | Theory and Practice of Formal Methods | Buch | Sack Fachmedien

    Ábrahám / Johnsen / Bonsangue Theory and Practice of Formal Methods

    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30733-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Bonsangue / Johnsen | Theory and Practice of Formal Methods | eBook | Sack Fachmedien
    E-Book

    Ábrahám / Bonsangue / Johnsen Theory and Practice of Formal Methods

    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30734-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Aiello / Georgievski / Johnsen | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    Aiello / Georgievski / Johnsen Service-Oriented and Cloud Computing

    5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44481-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Johnsen / Beckert | The Logic of Software. A Tasting Menu of Formal Methods | Buch | Sack Fachmedien

    Ahrendt / Johnsen / Beckert The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08165-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiello / Johnsen / Dustdar | Service-Oriented and Cloud Computing | eBook | Sack Fachmedien
    E-Book

    Aiello / Johnsen / Dustdar Service-Oriented and Cloud Computing

    5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44482-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | The Logic of Software. A Tasting Menu of Formal Methods | eBook | Sack Fachmedien
    E-Book

    Ahrendt / Beckert / Bubel The Logic of Software. A Tasting Menu of Formal Methods

    Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-08166-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / Damiani / Haehnle | Formal Methods for Executable Software Models | eBook | Sack Fachmedien
    E-Book

    Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07317-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bernardo / Damiani / Schaefer | Formal Methods for Executable Software Models | Buch | Sack Fachmedien

    Bernardo / Damiani / Schaefer Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07316-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular